This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
feat(ring_theory/congruence): add the complete_lattice instance#18588
Closed
eric-wieser wants to merge 1 commit intomasterfrom eric-wieser/ring_con-lattice
+172-4
