Theorem Stream'.WSeq.LiftRelO.swap

Modification history

2023-05-07 05:02

Mathlib/Data/Seq/WSeq.lean

chore: bye-bye, solo `by`s! (#3825) …

Modified Stream'.WSeq.LiftRelO.swap View on Github →

2023-04-20 06:30

Mathlib/Data/Seq/WSeq.lean

feat: port Data.Seq.WSeq (#3405) …

Added Stream'.WSeq.LiftRelO.swap View on Github →