Theorem Finset.UV.isInitSeg_of_compressed

Modification history