Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mph_prod

Modification history

2018-01-04 09:05

algebra/big_operators.lean

refactor(algebra/group): clean up PR commit

Deleted mph_prod View on Github →

2018-01-02 16:52

algebra/big_operators.lean

Group morphisms (#30) …

Added mph_prod View on Github →