Theorem DoubleCentralizer.pow_snd

Modification history