Theorem Finset.mem_sup'

Modification history