Theorem BooleanSubalgebra.himp_mem

Modification history