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
chore(Algebra/FreeMonoid/Count): remove defeq abuse around FreeMonoid.countP
(#20156)
as requested on zulip