pow

Mathlib.NumberTheory.ArithmeticFunction

URI: https://scilib.ai/kg/mathlib#ArithmeticFunction.pow

English

The function pow(k) is the k-th power operation on n, with pow(0,0)=0.

Русский

Функция pow(k) даёт n^k, при pow(0,0)=0.

LaTeX

$$$\text{pow}(k)\;:\;n\mapsto n^k\text{ (кроме }(k,n)=(0,0)\text{, где 0)}$$$

Lean4

/-- `pow k n = n ^ k`, except `pow 0 0 = 0`. -/
def pow (k : ℕ) : ArithmeticFunction ℕ :=
  id.ppow k

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

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

Разделы

Аффилиация

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