Theorem AnalyticOnNhd.is_constant_or_isOpen

Modification history