Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f
A separately imposed comparison restriction
Stage F: bounded segments and excluded prescription changes › A separately imposed comparison restriction · lines 1281–1292
Suppose, as additional data, that comparisons are restricted to
This is a bounded comparison family, not the original real-linear gauge algebra and not necessarily a group closed under composition.
Displayed formulas in this passage
unlabeled · line 1285