Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
F8: reversal, presentation independence, and observations
F8: reversal, presentation independence, and observations · lines 1399–1405
The degree-four labelled prescriptions also exchange under conjugation, by the inherited one-edge reversal and the two-edge identities. Their carrier-level reversal remains conditional on descent and overlap consistency.
Nearby in this section
- section: F8: reversal, presentation independence, and observations
- proposition: Proposition: Constructed-block reversal
- proposition: Proposition: Presentation independence on constructed blocks
- section: F8: reversal, presentation independence, and observations
- proposition: Proposition: Numerical observation compatibility
- section: F8: reversal, presentation independence, and observations