Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-17 21:08 ed098676

View on Github →

feat(data/list/basic): prefix_or_prefix

Estimated changes

Modified data/list/basic.lean

added theorem list.nil_infix

added theorem list.nil_prefix

added theorem list.nil_suffix

added theorem list.prefix_of_prefix_length_le

added theorem list.prefix_or_prefix_of_prefix

added theorem list.reverse_prefix

added theorem list.reverse_suffix

added theorem list.suffix_of_suffix_length_le

added theorem list.suffix_or_suffix_of_suffix