mathlib3
e927aa4e - feat(data/set/function): restrict `dite/ite/piecewise/extend` (#10017)

Commit

4 years ago

feat(data/set/function): restrict `dite/ite/piecewise/extend` (#10017)

Author

urkud

urkud

Parents

Loading