univ_supports — Mathlib · SciLib

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

univ_supports

Mathlib.Computability.PostTuringMachine

URI: https://scilib.ai/kg/mathlib#Turing.TM0.univ_supports

← MathLib Explorer