OAI/NumberTheory/Ostmann/Construction/WeightEquiv.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.Ostmann.Construction.WeightEquiv line 7
  2. def OAI.Ostmann.Construction.WeightEquiv.refl line 14
  3. def OAI.Ostmann.Construction.WeightEquiv.symm line 16
  4. def OAI.Ostmann.Construction.WeightEquiv.trans line 19
  5. def OAI.Ostmann.Construction.WeightEquiv.prod line 23
  6. def OAI.Ostmann.Construction.WeightEquiv.assoc line 28
  7. def OAI.Ostmann.Construction.WeightEquiv.swap line 33