mathlib
a8ddd7b2 - feat(algebra/module/basic): generalize `is_scalar_tower` instances (#5135)

Commit
5 years ago
feat(algebra/module/basic): generalize `is_scalar_tower` instances (#5135) Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>
Author
Parents
Loading