src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy
changeset 66010 2f7d39285a1a
parent 62390 842917225d56
child 67123 3fe40ff1b921