mathlib3
6ecd7ab8
- feat(topology/continuous_function/bounded): generalize scalar action (#12098)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(topology/continuous_function/bounded): generalize scalar action (#12098) This also makes the scalar action computable
Author
eric-wieser
Parents
6ae1b702
Loading