Theorem LinearMap.surjective_rangeRestrict

Modification history