Theorem DoubleCentralizer.smul_toProd

Modification history