Theorem BooleanSubalgebra.mk_sup_mk

Modification history