Theorem Finset.subset_infs_self

Modification history