convention
Spine II Value & transport (P14–P22, P37, MB2–3) → BundleTransport, BearerTransport
S2 is a sub-spine grouping in the overview diagram, not a single Lean declaration. Open the detailed graph for this part of the spine.
S2 is a sub-spine grouping in the overview diagram, not a single Lean declaration. Open the detailed graph for this part of the spine.