src/HOL/Library/Polynomial.thy
changeset 42316 12635bb655fd
parent 41959 b460124855b8
child 44890 22f665a2e91c