Theorem AnalyticOnNhd.fun_pow

Modification history