instance QuasiBorelSpace.Bool.instBool : QuasiBorelSpace Bool

Equations

• QuasiBorelSpace.Bool.instBool = QuasiBorelSpace.ofMeasurableSpace

@[simp]

theorem QuasiBorelSpace.Bool.IsVar_def (φ : ℝ → Bool) : IsVar φ = Measurable φ