Theorem cfc_map_pi

Modification history