instIsAsymmSSubset

Mathlib.Data.Finset.Defs

URI: https://scilib.ai/kg/mathlib#Finset.instIsAsymmSSubset

English

Strict subset is asymmetric: if s ⊂ t then not t ⊂ s.

Русский

Строгое подмножество асимметрично: если s ⊂ t, то t ⊂/ s.

LaTeX

$$instance : IsAsymm (Finset α) (· ⊂ ·) := show IsAsymm (Finset α) (· < ·) by infer_instance$$

Lean4

instance : IsAsymm (Finset α) (· ⊂ ·) :=
  show IsAsymm (Finset α) (· < ·) by infer_instance

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

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

Разделы

Аффилиация

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