Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.tail_init_eq_init_tail

Modification history