OAI/RepresentationTheory/UniversalSquare/Support/Asymptotic.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Asymptotic.

  1. lemma OAI.UniversalTensorSquare.remainderPairs_bound line 16
  2. lemma OAI.UniversalTensorSquare.fixedCandidate_half_bound line 22
  3. lemma OAI.UniversalTensorSquare.canonical_square_pos_congr line 27
  4. theorem OAI.UniversalTensorSquare.fixedCandidate_nonexceptional_pos line 36
  5. theorem OAI.UniversalTensorSquare.universal_tensor_square_nonexceptional line 66
  6. lemma OAI.UniversalTensorSquare.exceptional_degree_le line 83
  7. theorem OAI.UniversalTensorSquare.universal_tensor_square_large line 90