Commit 2025-08-29 09:38 6e603379

View on Github →

chore(Algebra/FreeMonoid): golf entire symbols_mul (#29081)

Estimated changes

modified theorem FreeMonoid.symbols_mul