Theorem analyticOnNhd_inv

Modification history