OAI/Analysis/LaughlinGap/CachedIntegerRows.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Cached Integer Rows.

  1. def OAI.LaughlinGap.RealOccupation.integerTableEval line 14
  2. lemma OAI.LaughlinGap.RealOccupation.exactFourEval_table line 19