Theorem LinearMap.quotientInfEquivSupQuotient_surjective

Modification history