OAI/RepresentationTheory/UniversalSquare/Support/ProjectedTensor.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Projected Tensor.

  1. def OAI.Saxl.invariantCoordinateProjection line 16
  2. def OAI.Saxl.projectedSpechtTensor line 29
  3. def OAI.Saxl.projectedTensorQuotient line 35
  4. def OAI.Saxl.projectedTensorEvaluation line 50
  5. lemma OAI.Saxl.projectedTensorEvaluation_pullback line 60
  6. def OAI.Saxl.dualSignMap line 78
  7. def OAI.Saxl.dualTensorSignMap line 84
  8. lemma OAI.Saxl.dualTensorSignMap_coordinates line 96
  9. theorem OAI.Saxl.pair_coordinate_in_projected_dual_image line 121
  10. theorem OAI.Saxl.projectedTensor_support_of_coordinate line 140