instStarRing

Mathlib.Algebra.Star.Basic

URI: https://scilib.ai/kg/mathlib#Nat.instStarRing

English

The natural numbers carry a star ring structure.

Русский

Естественные числа имеют структуру звезды кольца.

LaTeX

$$$$ \text{Nat} \text{ has a star ring structure}. $$$$

Lean4

instance instStarRing : StarRing ℕ :=
  starRingOfComm

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru