Theorem BooleanSubalgebra.coe_map

Modification history