Theorem LinearMap.coprod_map_prod

Modification history