Theorem Set.mapsTo_prod_map_diagonal

Modification history