Theorem BooleanSubalgebra.coe_inclusion

Modification history