src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy
changeset 60299 5ae2a2e74c93
parent 59867 58043346ca64
child 60533 1e7ccd864b62