OAI/Analysis/Mahler/BasisContinuousWedge.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Mahler.continuousCovectorVolume line 14
2. lemma OAI.Mahler.continuousCovectorVolume_toAlternatingMap line 23
3. def OAI.Mahler.basisContinuousWedge line 26
4. lemma OAI.Mahler.basisContinuousWedge_toAlternatingMap line 34
5. lemma OAI.Mahler.contDiffAt_basisContinuousWedge line 55