Theorem LocalRing.basisQuotient_apply

Modification history