theorem · fr-4-proposition-5-1
Mixed Route Closability Criterion
Result stated and proved in the source manuscript; website restatement (draft) fusion-reconstruction
Statement
With , the comparison is closable exactly when .
Meaning and scope
This is the standard graph criterion applied to the route-generated comparison. It provides a direct test for the defect at the total stage.
Source
Paper 4, Proposition 5.1. Draft manuscript — compile-audit version; not marked frozen.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.
Referenced by
No source-verified relations recorded yet.
Points to
No source-verified relations recorded yet.