Theorem Stream'.mem_iff_exists_get_eq

Modification history

2025-09-17 05:19
Mathlib/Data/Stream/Init.lean
feat(Data/Seq): coinductive predicates for sequences (#28874) …
Added Stream'.mem_iff_exists_get_eqView on Github →