∀ {Ω : Type u_1} {ι : Type u_2} {m : MeasurableSpace Ω} [inst : Preorder ι] (β : Type u_4) [inst_1 : TopologicalSpace β]
  [inst_2 : Zero β] (f : MeasureTheory.Filtration ι m), MeasureTheory.StronglyAdapted f 0