Theorem Finset.toDual_inf'

Modification history