205
правок
Изменения
м
→Теорема об униформизации
|proof =
Напишем программу, вычисляющую функцию <tex>f</tex>.
<tex>f(x)</tex>
'''for''' <tex>\langle a, b \rangle \in F</tex>
'''if''' <tex>x == a</tex> '''then return''' <tex>b</tex>
Так как множество <tex>F</tex> перечислимо, то его элементы можно перебрать.
}}
