src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy
changeset 41816 7a55699805dc
parent 41815 9a0cacbcd825
parent 41807 ab5d2d81f9fb
child 41842 d8f76db6a207