Theorem MonoidHom.map_finprod_plift

Modification history

2023-09-12 22:27
Mathlib/Algebra/BigOperators/Finprod.lean
chore: tidy various files (#7081)
Added MonoidHom.map_finprod_pliftView on Github →