src/HOL/Library/Poly_Deriv.thy
changeset 42316 12635bb655fd
parent 41959 b460124855b8
child 44317 b7e9fa025f15