Def boolean_algebra.to_boolean_ring

Modification history