Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-11 02:16 e8aa9849

View on Github →

doc(int/modeq): add module doc and tidy (#7878)

Estimated changes

Modified src/data/int/modeq.lean

modified theorem int.modeq.mod_coprime