src/HOL/Algebra/UnivPoly.thy
changeset 17184 3d80209e9a53
parent 17094 7a3c2efecffe
child 19582 a669c98b9c24