Theorem LinearMap.comap_prod_prod

Modification history