Commit 2025-07-15 19:38 54b59e30

View on Github →

chore: generalise FreeGroup.ext_hom to monoids (#27140) Also spell FreeGroup.induction_on using of rather than pure. This lets me move it before ext_hom, so that I can use it in the proof. From Toric

Estimated changes