Theorem BooleanSubalgebra.inclusion_injective

Modification history