Theorem Stream'.Seq.Pairwise.nil

Modification history

2025-09-17 05:19

Mathlib/Data/Seq/Basic.lean

feat(Data/Seq): coinductive predicates for sequences (#28874) …

Added Stream'.Seq.Pairwise.nil View on Github →