Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.modeq.pow_totient

Modification history

2020-03-20 01:35
src/field_theory/finite.lean
feat(data/zmod): lemmas about totient and zmod (#2158) …
Added nat.modeq.pow_totientView on Github →