tautologicalSolution_isPresentation

English

The tautological solution is a presentation core; hence the tautological solution is itself a presentation.

Русский

Тавтологическое решение является ядром презентации; следовательно, тавтологическое решение само является презентацией.

LaTeX

$$$(tautologicalSolutionIsPresentation).isPresentation$$$

Lean4

theorem tautologicalSolution_isPresentation : (tautologicalSolution A M).IsPresentation :=
  (tautologicalSolutionIsPresentationCore A M).isPresentation

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