mathlib3
110541dd - feat(data/list/basic): fold[rl] recursion principles (#7079)

Commit
4 years ago
feat(data/list/basic): fold[rl] recursion principles (#7079) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>
Author
Parents
Loading