Theorem Finset.coe_eq_pair

Modification history