basic): `pair_eq_pair_iff` (#17187)

Commit

3 years ago

feat(data/set/basic): `pair_eq_pair_iff` (#17187) Also moved some lemmas about pairs into a new section.

Author

kmill

Parents