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

Back to manuscript

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

Nearby in this section