Theorem Set.mapsTo_prodMap_diagonal

Modification history