Внесли, разумеется -- и лично мне, например, это пиздец как стремно и очень неприятно.

Но делать нечего, по некотором размышлении. "Русская математика" это некоторая неиллюзорная абсолютная ценность, в контексте математики вообще, и если уж так карта легла, надо ее поддерживать (независимо от русни вообще, которая преступная квазинациональная общность и т.д.).