Theorem Finset.coe_diffs

Modification history