src/HOL/Library/FrechetDeriv.thy
changeset 49322 fbb320d02420
parent 44568 e6f291cb5810
child 49962 a8cc904a6820