`BookProof.FockCubicUnbounded.confNumber_confAt` (k m : ℕ) : confNumber (confAt k m) = m

Initializing...

`BookProof.FockCubicUnbounded.confNumber_confAt` (k m : ℕ) : confNumber (confAt k m) = m · Prove2Me