Def BooleanRing.toBooleanAlgebra

Modification history