∫ Утверждение Mathlib
Mathlib.Computability.DFA
URI: https://scilib.ai/kg/mathlib#DFA.symm_reindex
← MathLib Explorer