Theorem LinearMap.coe_equivProdOfSurjectiveOfIsCompl

Modification history