primrec₂_comp — Mathlib · SciLib

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

primrec₂_comp

Mathlib.Computability.PartrecCode

URI: https://scilib.ai/kg/mathlib#Nat.Partrec.Code.primrec₂_comp

← MathLib Explorer