OAI/Combinatorics/PolynomialVacuum/Bridge/BridgeTailTarget.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumBridge.Corridor.BridgeReaches line 7
2. def OAI.PolynomialVacuumBridge.Corridor.UnrestrictedBridgeTail line 11