Commit 2026-02-18 19:23 2c5d2299

View on Github →

fix(Dynamics/BirkhoffSum): birkhoffAverage_of_comp_eq only needs AddCommMonoid (#35307)

Estimated changes

modified theorem birkhoffAverage_of_comp_eq