Theorem analyticOnNhd_inverse

Modification history