Def boolRingCatEquivBoolAlg

Modification history