Commit 2024-08-20 22:47 eb4b9428

View on Github →

feat: monoid action on finprod (#14483)

Estimated changes

added theorem smul_finprod