GitHub catalog

Restricted · theorem

final_bridge_manuscript_and_supporting_materials

Tmp/TOE/final_bridge_manuscript_and_supporting_materials

Bridge-closure status note plus manuscript supporting files. Hierarchical selector, seams, transfer, weak ladder.

Open on GitHub

Wiki

• Restricted bridge theorems