Mathlib Changelog v4

Changelog About Github

Theorem Finset.untrop_sum

Modification history

2023-01-23 09:14

Mathlib/Algebra/Tropical/BigOperators.lean

feat: port Algebra.Tropical.BigOperators (#1760)

Added Finset.untrop_sum View on Github →