Def BooleanSubalgebra.subtype

Modification history