This repository was archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - chore(algebra/ring_quot): link ring_quot.rel with ring_con_gen#17892
Closed
eric-wieser wants to merge 18 commits intomasterfrom eric-wieser/ring_con-ring_quot
Commits
Commits on Dec 6, 2022
Commits on Dec 7, 2022
Commits on Dec 10, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'eric-wieser/ring_con' of https://github.com/leanprover-community/mathlib into eric-wieser/ring_con
committed- committed
Merge branch 'eric-wieser/ring_con' of https://github.com/leanprover-community/mathlib into eric-wieser/ring_con
committed- committed
- committed
- committed