Theorem LinearMap.disjoint_ker_of_nondegenerate_restrict

Modification history