Theorem Subalgebra.centralizer_coe_map_includeRight_eq_center_tensorProduct

Modification history