mathlib
48883dcd - chore(algebra/basic): split out facts about lmul (#9300)

Commit

4 years ago

chore(algebra/basic): split out facts about lmul (#9300) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents