Commit 2024-05-05 11:45 38f33f35

chore: replace Quotient.exists_rep with induction (#12471) Following my advice on Zulip; let's change more code to use induction so that users learning by example learn a better approach. This is not exhaustive.