Interval-map positive-entropy horseshoe theorem (source code)

= Interval-map positive-entropy horseshoe theorem

A continuous <interval map> has <positive topological entropy> if and only if some positive <iteration of a map>[iterate] has a <horseshoe for an interval map>.