Theorem Finset.infs_subset_left

Modification history