Theorem BooleanSubalgebra.coe_comap

Modification history