Theorem CFC.nnrpow_map_prod

Modification history