P
Initializing...
`BookProof.QgPhysicalSectorIdentity.deg_annIdx` (j : ι) : deg (annIdx j) = 1 · Prove2Me