mono — Mathlib

English

The complement of the integers inside the complex plane is the set of points that are not equal to any Gaussian integer.

Русский

Дополнение целых чисел в плоскости комплексных чисел состоит из всех точек, которые неравны ни одному Gaussian integer.

LaTeX

$$$\\mathbb{C}_{\\mathbb{Z}}^c = \\{ z \\in \\mathbb{C} : \\; z \\neq n \\text{ for all } n \\in \\mathbb{Z} \\}.$$$

Lean4

theorem mono {U V : Set ℂ} (h : U ⊆ V) (hf : IsConservativeOn f V) : IsConservativeOn f U := fun z w hzw ↦
  hf z w (hzw.trans h)

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