src/HOL/Algebra/UnivPoly.thy
changeset 68551 b680e74eb6f2
parent 68445 c183a6a69f2d
child 69064 5840724b1d71