P
Initializing...
`BookProof.FockCubicUnbounded.confAt_self` (k m : ℕ) : confAt k m k = m · Prove2Me