productive_iff — Mathlib · SciLib

∫ Утверждение Mathlib

productive_iff

Mathlib.Data.WSeq.Productive

URI: https://scilib.ai/kg/mathlib#Stream'.WSeq.productive_iff

← MathLib Explorer