>>707
シンプレクティック多様体の定義ってなんだっけ?なんかの条件みたす2形式がとれるとか
いうやつだっけ?