OAI/RepresentationTheory/UniversalSquare/Support/FastRowCheck.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Fast Row Check.

  1. def OAI.UniversalTensorSquare.quickBand line 13
  2. lemma OAI.UniversalTensorSquare.quickBand_sound line 20
  3. def OAI.UniversalTensorSquare.quickResidual line 26
  4. lemma OAI.UniversalTensorSquare.quickResidual_sound line 31
  5. lemma OAI.UniversalTensorSquare.quickCheckedRows line 43