src/HOL/Library/Poly_Deriv.thy
changeset 61945 1135b8de26c3
parent 60867 86e7560e07d0
child 62065 1546a042e87b