Manuscript Oai211-A@1 · Oai211-A.tex · section · 3f3e4f63
Conditional transfer to weighted planar-map blocks
Conditional transfer to weighted planar-map blocks · lines 1222–1227
This section specifies the application gate. Its conditional statements do not promote the supplied FK proof to a verified premise.
Nearby in this section
- definition: Definition: Weighted corner-substitution contract
- section: Conditional transfer to weighted planar-map blocks
- assumption: Assumption: Endpoint coefficient inputs
- lemma: Lemma: Quadratic inverse criterion
- section: Conditional transfer to weighted planar-map blocks
- theorem: Theorem: Exact conditional weighted representation
- section: Conditional transfer to weighted planar-map blocks