Theorem Finset.infs_left_comm

Modification history