Theorem Fin.forall_fin_add

Modification history

2025-08-12 12:14
Mathlib/Data/Fin/Tuple/Basic.lean
feat(Data/Fin/Tuple): lemmas on appending finite sequences (#27577) …
Added Fin.forall_fin_addView on Github →