Manuscript XX-F@1 · XX-F.tex · section · de0bd24f
The variation of the operation must also be counted
Admissible images: insertion and operation changes › The variation of the operation must also be counted · lines 1356–1370
Thus scalar reordering changes alone cannot cancel a nonzero breaking in the class with a fixed ordinary leading operation and no other image. This is a statement about that declared class, not a verdict about an unevaluated native anomaly.
A zeroth-order covariance replacement is a new choice of free construction. It must be recomputed or transported on a verified domain. It is not automatically a correction of the form to a fixed package.