Theorem Fin.castPred_zero'
Modification history
2025-05-12 14:24
Mathlib/Data/Fin/Basic.lean
chore(Data/Fin): use `Fin.cases` and `Fin.lastCases` (#24799) …
Deleted Fin.castPred_zero'View on Github →2024-07-27 16:57
Mathlib/Data/Fin/Basic.lean
chore: qualify uses of ext and ext_iff lemmas (#15106) …
Modified Fin.castPred_zero'View on Github →