Def LocalRing.basisQuotient

Modification history