Registry · Theorem
III.T43
tau-effective
formalized
III.T43 — Move-Bridge Correspondence
The bridge functor is faithful on the complement of the five forbidden moves and degenerates precisely at them. Each move corresponds to a specific structural feature the bridge cannot preserve.
Book III
Part 10
Ch. 65