Theorem Fin.castSucc_zero'

Modification history

2024-08-01 00:14

Mathlib/Data/Fin/Basic.lean

chore: backport some changes for lean v4.11.0 (#15368)

Modified Fin.castSucc_zero'View on Github →

2023-07-27 11:51

Mathlib/Data/Fin/Basic.lean

chore: bump to nightly-2023-07-15 (#5992) …

Added Fin.castSucc_zero'View on Github →