Theorem CFC.nnrpow_map_pi

Modification history