Theorem DoubleCentralizer.sub_toProd

Modification history