Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-22 20:22 a104211d

View on Github →

feat(data/list): suffix_cons_iff (#7287)

Estimated changes

added theorem list.suffix_cons_iff