Theorem DoubleCentralizer.coe_fst

Modification history