P
Initializing...
`BookProof.ChapterGaugeMechanicsCharge.brst_ne_zero` : brstOmega ≠ 0 · Prove2Me