OAI/Combinatorics/Chromatic/Walls/WeightedInverseAdjoint.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.WeightedTorusSeries.convolution_comm_isotropic line 18
2. lemma OAI.ElementaryPositivity.WeightedTorusSeries.push_inverse_adjoint_of_convolution line 49
3. lemma OAI.ElementaryPositivity.UnitSelections.stringSeries_inverse_convolution line 87
4. lemma OAI.ElementaryPositivity.UnitSelections.stringSeries_inverse_adjoint line 116
5. theorem OAI.ElementaryPositivity.UnitSelections.stringSeries_inverse_adjoint_positive line 127
6. lemma OAI.ElementaryPositivity.RawShuffle.primitiveFactor_inverse_adjoint_positive line 158
7. theorem OAI.ElementaryPositivity.RawShuffle.finiteInput_zero_inverse_adjoint_positive line 179