Theorem DoubleCentralizer.mul_snd

Modification history