Theorem IsOpen.analyticOn_iff_analyticOnNhd

Modification history