Theorem QuadraticModuleCat.Hom.toIsometry_injective

Modification history