mathlib
bb1b56c7 - feat(algebra/indicator_function): smul lemmas for functions (#12059)

Commit

3 years ago

feat(algebra/indicator_function): smul lemmas for functions (#12059) And a few basic lemmas in `set/basic`.

Author

sgouezel

Parents