Theorem CFC.nnrpow_eq_nnrpow_pi

Modification history