Матлогики и примкнувшие к ним - злобные сексисты?:)

Вот как барышню обижают:
http://www.oliviacaramello.com/Unification/InitiativeOfClarificationResults.html#Updates
https://www.laurentlafforgue.org/math/NoriMotivesInformation.pdf

Лично я в этом ничего не понимаю - но таки считаю, что все важные теоремы должны быть сформулированы и доказаны, не важно - "фольклорные" они или нет.