Documentation

Mathlib.Data.Seq.WSeq