Theorem Finset.subset_range_sup_succ

Modification history