OAI/Analysis/GroupDeterminants/ProductSupport.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SupportDraft.SupportedOn line 14
  2. lemma OAI.SupportDraft.supportedOn_mono line 17
  3. lemma OAI.SupportDraft.supportedOn_single line 21
  4. lemma OAI.SupportDraft.supportedOn_one line 29
  5. lemma OAI.SupportDraft.supportedOn_add line 33
  6. lemma OAI.SupportDraft.supportedOn_neg line 41
  7. lemma OAI.SupportDraft.supportedOn_sub line 46
  8. lemma OAI.SupportDraft.supportedOn_smul line 51
  9. lemma OAI.SupportDraft.supportedOn_mul line 59
  10. lemma OAI.SupportDraft.coeff_one_mul_of_disjoint line 69
  11. lemma OAI.SupportDraft.supportedOn_prod line 93
  12. lemma OAI.SupportDraft.coeff_one_prod line 102