Theorem MDifferentiableWithinAt.congr_nhds

Modification history