Theorem LinearMap.equivProdOfSurjectiveOfIsCompl_apply

Modification history