QubitThirdCalibration.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

All norm hypotheses of the physical third-order comparison follow from one explicit polynomial in the original real coefficients.