[Merged by Bors] - feat: Make PNat.recOn induction eliminator#20617
Closed
EtienneC30 wants to merge 4 commits intomasterfrom em/PNatrecOn
+23-21
Commits
Commits on Jan 9, 2025
- committed
Etienne Marion - committedEtienne Marion
- committedEtienne Marion
Commits on Jan 10, 2025
- committedEtienne Marion