Theorem LinearMap.injective_domRestrict_iff

Modification history