Def RingEquiv.asBoolRingAsBoolAlg

Modification history