Theorem Fin.forall_fin_succ'

Modification history

2023-10-24 13:49
Mathlib/Data/Fin/Basic.lean
feat: add Fin.cons_mem_piFinset_iff (#6605) …
Added Fin.forall_fin_succ'View on Github →