Theorem IsLocalRing.basisQuotient_apply

Modification history