mathlib3
18b38810 - feat(topology/algebra/const_mul_action): support of a function composed with smul (#17456)

Commit
3 years ago
feat(topology/algebra/const_mul_action): support of a function composed with smul (#17456)
Author
Parents
Loading