Theorem DoubleCentralizer.toProdMulOpposite_injective

Modification history