Theorem AnalyticOnNhd.fun_inv

Modification history