Theorem Subalgebra.centralizer_tensorProduct_eq_center_tensorProduct_left

Modification history