Commit 2023-01-18 17:17 e6e8f35e

View on Github →

feat port: Algebra.Star.BigOperators (#1648)

Estimated changes

added theorem star_prod
added theorem star_sum