Theorem BooleanSubalgebra.compl_mk

Modification history