Def BoolRing

Modification history