Theorem Finset.infs_sups_subset_left

Modification history