Обсуждение:Теорема Дарбу в симплектической геометрии
Последнее сообщение: 6 месяцев назад от 91.199.244.4
Нормальное доказательство есть у Ли, в монографии Ли, Энгель про контактные преобразования.
Трюк Мозера.. мда, а нет ли еще "современного" доказательства через, допустим HoTT? 91.199.244.4 12:26, 5 декабря 2023 (UTC)