mathlib
1447cae8 - chore(data/list): reorder arguments of `list.nthd` (#18182)

Commit

3 years ago

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

Author

urkud

Parents