| |||
|
|
>Для реално математики это абсолютно бесполезно. Тем не менее both Scholze и Tao освоили. Может вы просто старый? Лет через 10-15 в mathlib внесут вообще более менее все теоремы. Будет полезно и для математиков. Хотя бы чтоб шизам в лицо тыкать на ошибки. Добавить комментарий: |
|||