Mathlib v3 is deprecated. Go to Mathlib v4

Def zmod.ring_equiv_congr

Modification history

2022-06-23 14:10
src/data/zmod/basic.lean
feat(group_theory/finite_abelian): Structure of finite abelian groups (#14736) …
Added zmod.ring_equiv_congrView on Github →