Theorem Finset.iSup_insert_update

Modification history