Theorem IsLocalRing.basisQuotient_repr

Modification history