Theorem LinearMap.injective_restrict_iff_disjoint

Modification history