Commit 2025-01-23 13:08 b632e4bf

View on Github →

chore(Algebra/FreeMonoid/Count): remove defeq abuse around FreeMonoid.countP (#20156) as requested on zulip

Estimated changes