Theorem CFC.rpow_map_pi

Modification history