fact: Definition stream_mod_family A (E:binary A) : family nat (stream A) := nat_family (bisimilar_mod_upto E).
imports: TLC(LibTactics LibLogic LibReflect LibFun LibEpsilon LibList LibInt LibNat LibProd LibSum LibRelation LibWf LibFix LibStream) ZifyNat