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 1320–1333
Let be a specified vector space of formal correction data after the native package has been constructed. Suppose its calculated insertion and operation changes are
Here and are actual linear maps on this correction space.
Displayed formulas in this passage
unlabeled · line 1326