P
Initializing...
`BookProof.QgPhysicalSectorIdentity.deg_creIdx` (i : ι) : deg (creIdx i) = 1 · Prove2Me