Theorem Finset.coe_sup'

Modification history