P
Initializing...
Proposition 3.1.1 (equality case) — equality iff $F_A$ is self-dual or anti-self-dual · Prove2Me