mathlib3
f585481b - feat(data/set/prod): add lemmas about `set.pi` (#16828)

Commit

3 years ago

feat(data/set/prod): add lemmas about `set.pi` (#16828)

Author

urkud

urkud

Parents

Loading