OAI/Geometry/TamingCompatibility/DifferentialForms/TopForms.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.TopForms.coefficient line 28
2. lemma OAI.TamingCompatibility.TopForms.eval_eq_det_mul line 31
3. lemma OAI.TamingCompatibility.TopForms.coefficient_smul line 37
4. lemma OAI.TamingCompatibility.TopForms.coefficient_smul_left line 44
5. lemma OAI.TamingCompatibility.TopForms.eval_ne_zero line 50
6. lemma OAI.TamingCompatibility.TopForms.coefficient_independent line 58
7. lemma OAI.TamingCompatibility.TopForms.comp_ne_zero line 64
8. lemma OAI.TamingCompatibility.TopForms.coefficient_comp line 74