Theorem BooleanSubalgebra.mk_lt_mk{L

Modification history