instPreregular

Mathlib.Topology.Category.Stonean.EffectiveEpi

URI: https://scilib.ai/kg/mathlib#Stonean.instPreregular

English

Stonean is preregular in the categorical sense.

Русский

Stonean является пререгулярной в категориальном смысле.

LaTeX

$$$\text{Preregular}(\text{Stonean})$$$

Lean4

instance : Preregular Stonean :=
  Stonean.toCompHaus.reflects_preregular

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

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

Разделы

Аффилиация

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