P
Initializing...
`BookProof.ChapterGaugeMechanicsCharge.eulerOp_X` (j : Fin 2) : eulerOp (X j) = X j · Prove2Me