mathlib
fd453cf1 - chore(data/set/basic): add some simp attrs (#9074)

Commit
4 years ago
chore(data/set/basic): add some simp attrs (#9074) Also add `set.pairwise_on_union`.
Author
Parents
Loading