Theorem Fin.mod_eq

Modification history

2022-07-11 12:59

Mathlib/Data/Fin/Basic.lean

chore: bump to nightly-2022-07-11 (#300)

Deleted Fin.mod_eq View on Github →

2021-11-09 08:19

Mathlib/Data/Fin/Basic.lean

feat(Data/Fin/Basic) (#84) …

Added Fin.mod_eq View on Github →