Theorem BooleanSubalgebra.coe_eq_univ

Modification history