Def boolean_ring.to_boolean_algebra

Modification history