Def toBoolRing

Modification history