Theorem Subalgebra.centralizer_coe_image_includeRight_eq_center_tensorProduct

Modification history