Theorem CFC.rpow_map_prod

Modification history