Theorem Subalgebra.centralizer_coe_image_includeLeft_eq_center_tensorProduct

Modification history