mathlib
50beef25 - feat(data/set/basic): more lemmas about `set.pi` (#5603)

Commit

5 years ago

feat(data/set/basic): more lemmas about `set.pi` (#5603)

Author

urkud

urkud

Parents

Loading