mathlib
0e87ef97 - feat(data/list/basic): `l.nth l.length = none` (#15828)

Commit

3 years ago

feat(data/list/basic): `l.nth l.length = none` (#15828)

Author

vihdzp

vihdzp

Parents

Loading