Berezin 積分
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 4 件
- Berezin 積分のスケール✓補題 2.1・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部
- 半空間への因数分解✓補題 3.3・Wilson・staggered フェルミオンの転送行列
- Grassmann Gauss 積分✓定理 2.4・格子フェルミオン
- Grassmann 積分と行列式✓補題 2.4・格子 QCD