Theorem BooleanSubalgebra.biInf_mem

Modification history