Theorem BooleanSubalgebra.subtype_comp_inclusion

Modification history