Mathlib v3 is deprecated. Go to Mathlib v4

Theorem anti_mph_prod

Modification history

2018-01-04 09:05
algebra/big_operators.lean
refactor(algebra/group): clean up PR commit
Deleted anti_mph_prodView on Github →
2018-01-02 16:52
algebra/big_operators.lean
Group morphisms (#30) …
Added anti_mph_prodView on Github →