Theorem LocalRing.basisQuotient_repr

Modification history