Theorem AnalyticOn.is_constant_or_isOpen

Modification history