Documentation
Phantom type for an elimination term ordering |In the ordering, xis come before yjs come before zks, but within the xis, or yjs, or zks, grevlex ordering is used
Phantom type for an elimination term ordering |In the ordering, xis come before yjs come before zks, but within the xis, or yjs, or zks, grevlex ordering is used