instEffectivelyEnoughStoneanProfiniteToProfinite

English

There is an effectively sufficient structure transferring Stonean Profinite objects to Profinite ones via a presentation.

Русский

Существует эффективная структура переноса Stonean Profinite к Profinite через представление.

LaTeX

$$$\\text{instEffectivelyEnoughStoneanProfiniteToProfinite} :\\; \\text{Stonean.toProfinite.EffectivelyEnough}$$$

Lean4

instance : Stonean.toProfinite.EffectivelyEnough where presentation X := ⟨stoneanToProfiniteEffectivePresentation X⟩

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