Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.totient_zero

Modification history

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