mathlib
772c7766 - feat(ring_theory/algebraic): Added basic lemmas + golf (#12820)

Commit

3 years ago

feat(ring_theory/algebraic): Added basic lemmas + golf (#12820) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

vihdzp

Parents