TakeWhile

Statistics

Metric	Count
Definitions	0
Theorems `dropWhile_eq_nil_iff`, `dropWhile_eq_self_iff`, `dropWhile_get_zero_not`, `find?_eq_head?_dropWhile_not`, `find?_eq_head_dropWhile_not`, `find?_not_eq_head?_dropWhile`, `find?_not_eq_head_dropWhile`, `length_dropWhile_le`, `mem_takeWhile_imp`, `takeWhile_eq_nil_iff`, `takeWhile_eq_self_iff`, `takeWhile_idem`, `takeWhile_takeWhile`	13
Total	13

Name	Kind	Assumes	Proves	Validates	Depends On
`dropWhile_eq_nil_iff` 📖	—	—	—	—	`instIsEmptyFalse`
`dropWhile_eq_self_iff` 📖	—	—	—	—	`instIsEmptyFalse` `length_dropWhile_le`
`dropWhile_get_zero_not` 📖	—	—	—	—	—
`find?_eq_head?_dropWhile_not` 📖	—	—	—	—	—
`find?_eq_head_dropWhile_not` 📖	—	—	—	—	`find?_eq_head?_dropWhile_not`
`find?_not_eq_head?_dropWhile` 📖	—	—	—	—	`find?_eq_head?_dropWhile_not`
`find?_not_eq_head_dropWhile` 📖	—	—	—	—	`find?_eq_head_dropWhile_not`
`length_dropWhile_le` 📖	—	—	—	—	—
`mem_takeWhile_imp` 📖	—	—	—	—	—
`takeWhile_eq_nil_iff` 📖	—	—	—	—	—
`takeWhile_eq_self_iff` 📖	—	—	—	—	`instIsEmptyFalse`
`takeWhile_idem` 📖	—	—	—	—	`takeWhile_takeWhile`
`takeWhile_takeWhile` 📖	—	—	—	—	—

---