Theorem cfc_map_prod

Modification history