Theorem Finset.toDual_sup

Modification history