Theorem DoubleCentralizer.mul_fst

Modification history