mathlib
9b60e0f7 - feat(data/set/basic): add `pairwise_on_pair` (#8789)

Commit
4 years ago
feat(data/set/basic): add `pairwise_on_pair` (#8789) Add `set.pairwise_on_insert`, `set.pairwise_on_pair`, and `set.pairwise_on_pair_of_symmetric`.
Author
Parents
Loading