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

sectionΓ'Bool_inclusionBoolΓ'

Mathlib.Computability.Encoding

URI: https://scilib.ai/kg/mathlib#Computability.sectionΓ'Bool_inclusionBoolΓ'

← MathLib Explorer