OAI/RepresentationTheory/UniversalSquare/Support/SignedInduction.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Signed Induction.

  1. def OAI.Saxl.externalTensorMap line 15
  2. lemma OAI.Saxl.externalTensorMap_injective line 31
  3. def OAI.Saxl.signRestrictionMap line 43
  4. lemma OAI.Saxl.signRestrictionMap_ne_zero line 71
  5. def OAI.Saxl.signDomainMap line 87
  6. theorem OAI.Saxl.signed_external_cyclic_support line 102