Theorem BooleanSubalgebra.mk_himp_mk

Modification history