Theorem Finset.truncatedSup_infs_of_not_mem

Modification history