Theorem DoubleCentralizer.sub_snd

Modification history