Theorem Finset.truncatedSup_infs

Modification history