This repository has been 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 into master from eric-wieser/ring_con-ring_quot

Closed

[Merged by Bors] - chore(algebra/ring_quot): link ring_quot.rel with ring_con_gen #17892

refl lemma

Workflow runs completed with no jobs