Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring_hom.ext_zmod

Modification history

2020-06-02 19:58
src/data/zmod/basic.lean
feat(data/*): ring_hom.ext_{nat,int,rat,zmod} (#2918)
Added ring_hom.ext_zmodView on Github →