`BookProof.QgPhysicalSectorIdentity.deg_pair_le_two` (p q : ι) : deg (creIdx p) + deg (annIdx q) ≤ 2

Initializing...

`BookProof.QgPhysicalSectorIdentity.deg_pair_le_two` (p q : ι) : deg (creIdx p) + deg (annIdx q) ≤ 2 · Prove2Me