OAI/Analysis/Mahler/WedgeTwoDifferentialAlgebra.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Mahler.twoOnePermutation line 8
2. lemma OAI.Mahler.twoOnePermutation_sign line 12
3. lemma OAI.Mahler.wedge_two_one_fin line 14
4. def OAI.Mahler.derivativeLeftEquiv line 29
5. def OAI.Mahler.derivativeRightEquiv line 32
6. lemma OAI.Mahler.wedge_derivative_assoc line 35
7. lemma OAI.Mahler.wedge_derivative_move_two line 58