isASCIIDigit — Mathlib · SciLib

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

isASCIIDigit

Mathlib.Data.UInt

URI: https://scilib.ai/kg/mathlib#UInt8.isASCIIDigit

← MathLib Explorer