OAI/Combinatorics/Chromatic/Walls/TriangularPeriodTransport.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.TriangularDynamics.mutationIncomingLabel_map line 23
2. lemma OAI.ElementaryPositivity.TriangularDynamics.partial_period_transport line 28
3. lemma OAI.ElementaryPositivity.TriangularDynamics.full_period_transport line 89
4. lemma OAI.ElementaryPositivity.TriangularDynamics.periodIncoming_cut line 128
5. lemma OAI.ElementaryPositivity.TriangularDynamics.complete_history_transport line 163
6. lemma OAI.ElementaryPositivity.TriangularDynamics.genuine_history_cut_deficit line 184