Theorem BooleanSubalgebra.mem_inf

Modification history