`lemma` (#2972)

Commit

5 years ago

chore(algebra/ring): fix docs, `def`/`lemma` (#2972) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>

Author

urkud

Parents