addBottom_head_fst — Mathlib · SciLib

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

addBottom_head_fst

Mathlib.Computability.TuringMachine

URI: https://scilib.ai/kg/mathlib#Turing.TM2to1.addBottom_head_fst

← MathLib Explorer