Theorem Function.star_sum_elim

Modification history

2023-08-10 19:52
Mathlib/Algebra/Star/Pi.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Function.star_sum_elimView on Github →
2023-01-09 12:38
Mathlib/Algebra/Star/Pi.lean
feat: port Algebra.Star.Pi (#1432)
Added Function.star_sum_elimView on Github →