union — Mathlib

English

If s and t are NullMeasurableSet with respect to μ, then their union s ∪ t is NullMeasurable.

Русский

Если s и t являются NullMeasurableSet относительно μ, то их объединение s ∪ t также является NullMeasurableSet.

LaTeX

$$NullMeasurableSet s μ → NullMeasurableSet t μ → NullMeasurableSet (s ∪ t) μ$$

Lean4

@[simp]
protected theorem union (hs : NullMeasurableSet s μ) (ht : NullMeasurableSet t μ) : NullMeasurableSet (s ∪ t) μ :=
  MeasurableSet.union hs ht

Похожие утверждения