Theorem Finset.slice_subset_falling

Modification history