mathlib
0dde2cb8 - feat(data/list/chain): Lemma for `chain r a (list.range n.succ)` (#12990)

Commit

3 years ago

feat(data/list/chain): Lemma for `chain r a (list.range n.succ)` (#12990)

Author

vihdzp

vihdzp

Parents

Loading