Theorem BooleanSubalgebra.comap_id

Modification history