Theorem Stream'.Seq.terminatedAt_map_iff

Modification history