Theorem AnalyticOnNhd.fun_zpow

Modification history