rev_anti

Mathlib.Order.Fin.Basic

URI: https://scilib.ai/kg/mathlib#Fin.rev_anti

English

The reversal map rev is antitone.

Русский

Обратная операция развертывания антиизотропна по порядку.

LaTeX

$$$\forall {n : \mathbb{N}}, \; \text{Antitone}(\mathrm{rev})$$$

Lean4

theorem rev_anti : Antitone (@rev n) :=
  rev_strictAnti.antitone

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

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

Разделы

Аффилиация

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