Def ofBoolRing

Modification history