Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-26 14:16 692a6895

View on Github →

feat(data/list/chain): chain'.append_overlap (#3559)

Estimated changes