OAI/RepresentationTheory/UniversalSquare/Specht/ThreeRowDensity.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Three Row Density.

  1. abbrev OAI.Saxl.ThreeRow.Parameters line 16
  2. abbrev OAI.Saxl.ThreeRow.Coordinates line 17
  3. def OAI.Saxl.ThreeRow.idx line 19
  4. def OAI.Saxl.ThreeRow.gram line 21
  5. def OAI.Saxl.ThreeRow.parameterMap line 25
  6. def OAI.Saxl.ThreeRow.basePoint line 29
  7. abbrev OAI.Saxl.ThreeRow.proj line 31
  8. def OAI.Saxl.ThreeRow.gramDeriv line 33
  9. lemma OAI.Saxl.ThreeRow.gram_hasStrictFDerivAt line 41
  10. def OAI.Saxl.ThreeRow.parameterDeriv line 48
  11. lemma OAI.Saxl.ThreeRow.parameterMap_hasStrictFDerivAt line 53
  12. def OAI.Saxl.ThreeRow.differentialLift line 67
  13. lemma OAI.Saxl.ThreeRow.differential_lift line 71
  14. lemma OAI.Saxl.ThreeRow.parameterDeriv_surjective line 79
  15. theorem OAI.Saxl.ThreeRow.joint_density line 82