Theorem AnalyticOnNhd.fderiv_of_isOpen

Modification history