mathlib3
ec6f5d16 - feat(data/*set): some finite sets lemmas (#7037)

Commit

4 years ago

feat(data/*set): some finite sets lemmas (#7037) Co-authored-by: Bhavik Mehta, Kevin Buzzard, Anne Baanen, Eric Rodriguez

Author

PatrickMassot

Parents