src/HOL/Library/Poly_Deriv.thy
changeset 54381 9c1f21365326
parent 52380 3cc46b8cca5e
child 56181 2aa0b19e74f3