Theorem DoubleCentralizer.smul_snd

Modification history