Theorem Finset.sups_subset_right

Modification history