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