Theorem LinearMap.comap_eq_sup_ker_of_disjoint

Modification history