Theorem Finset.sups_left_comm

Modification history