`BookProof.QgPhysicalSectorIdentity.matrixModel_c_ne_zero` : (matrixModel.c : Mat2) ≠ 0

Initializing...

`BookProof.QgPhysicalSectorIdentity.matrixModel_c_ne_zero` : (matrixModel.c : Mat2) ≠ 0 · Prove2Me