mathlib
6696bdd9
- docs(data/set/pairwise): Explain preference for `s.pairwise_disjoint id` (#12878)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
docs(data/set/pairwise): Explain preference for `s.pairwise_disjoint id` (#12878) ... over `s.pairwise disjoint`.
Author
YaelDillies
Parents
30449be1
Loading