src/HOL/Algebra/UnivPoly.thy
changeset 54257 5c7a3b6b05a9
parent 49962 a8cc904a6820
child 54863 82acc20ded73