zero'_eval — Mathlib · SciLib

∫ Утверждение Mathlib

zero'_eval

Mathlib.Computability.TMConfig

URI: https://scilib.ai/kg/mathlib#Turing.ToPartrec.Code.zero'_eval

← MathLib Explorer