Theorem DoubleCentralizer.neg_fst

Modification history