Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-07 06:48 77b0b36c

View on Github →

feat(data/list/basic): add list.chain'_append and corollaries (#17308) Also change the order of arguments in list.chain'.drop.

Estimated changes

modified theorem list.chain'.append
modified theorem list.chain'.append_overlap
modified theorem list.chain'.drop
added theorem list.chain'.infix
added theorem list.chain'.init
added theorem list.chain'.prefix
added theorem list.chain'.suffix
added theorem list.chain'.take
added theorem list.chain'_append
added theorem nat.and_forall_succ
modified theorem nat.exists_lt_succ
modified theorem nat.forall_lt_succ
added theorem nat.or_exists_succ