P
Initializing...
`BookProof.HermiteBandHigher.gpow_nonneg` (m n : ℕ) : 0 ≤ gpow m n · Prove2Me