src/HOL/Groebner_Basis.thy
changeset 52435 6646bb548c6b
parent 48891 c0eafbd55de3
child 54251 adea9f6986b2