mathlib3
e7ca8016 - feat(data/list/chain): induction up the chain (#5325)

Commit
5 years ago
feat(data/list/chain): induction up the chain (#5325) Slightly strengthen statements that were there before
Author
Parents
Loading