Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-01-16 20:04 1447cae8

View on Github →

chore(data/list): reorder arguments of list.nthd (#18182) Sync it with List.getD in Mathlib 4.

Estimated changes

modified theorem list.nthd_cons_succ
modified theorem list.nthd_cons_zero
modified theorem list.nthd_default_eq_inth
modified theorem list.nthd_eq_default
modified theorem list.nthd_eq_nth_le
modified theorem list.nthd_nil