Manuscript XII-F@1 · XII-F.tex · definition · 54cb3169
Definition: The two remainder functionals
F1: the sheet and the four-row ledger · lines 543–554
XII-F@1#eq:remainder-names
For fixed set
Displayed formulas in this passage
XII-F@1#eq:remainder-names · line 545