Arbitrary.has_prewinder# property Arbitrary.has_prewinder# Whether a prewinder leads from k = 0 to the start of the path.
