Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-20 16:13 9df2762e

View on Github →

chore(data/nat/totient): golf a proof (#14851)

Estimated changes

modified theorem zmod.card_units_eq_totient