OAI/Combinatorics/Chromatic/Walls/CompletedInfinityCut.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RationalFiber.complementAlpha_neg_p line 19
2. def OAI.ElementaryPositivity.RationalFiber.reciprocalFiber line 24
3. def OAI.ElementaryPositivity.RationalFiber.expandFiberInfinity line 29
4. lemma OAI.ElementaryPositivity.RationalFiber.completed_expand_opposite_inverse line 33