Theorem Finset.Colex.isInitSeg_iff_exists_initSeg

Modification history