Theorem BooleanSubalgebra.mk_inf_mk

Modification history