mathlib3
c982179e - feat(/sub/pointwise): lemmas about pointwise scalar actions (#17814)

Commit

3 years ago

feat(*/sub*/pointwise): lemmas about pointwise scalar actions (#17814)

Author

eric-wieser

eric-wieser

Parents

Loading