Theorem Finset.toDual_inf

Modification history