Theorem AnalyticOnNhd.fun_zpow_nonneg

Modification history