Theorem Finset.sups_right_comm

Modification history