Mathlib Changelog
v4
Changelog
About
Github
Theorem
Fin.snoc_comp_natAdd
Modification history
2025-07-04 23:38
Mathlib/Data/Fin/Tuple/Basic.lean
chore(Fin): replace `cast_add` → `castAdd`, `nat_add` → `natAdd` in lemma names (#26764) …
Added
Fin.snoc_comp_natAdd
View on Github →