OAI/RepresentationTheory/UniversalSquare/Main.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Universal tensor squares.

  1. lemma OAI.UniversalTensorSquare.universal_partition_le64 line 70
  2. lemma OAI.UniversalTensorSquare.universal_partition_exceptional line 136
  3. theorem OAI.UniversalTensorSquare.universal_tensor_square line 171
  4. theorem OAI.UniversalTensorSquares.universal_tensor_square line 205

    Distinct definitions of this name: ComparatorChallenges/UniversalTensorSquares.lean:91 (same statement text; different proof or body). Qualify references as OAI.UniversalTensorSquares.universal_tensor_square@path.