Theorem cfcₙ_map_prod

Modification history