OAI/Analysis/LaughlinFock/Certificate22.lean

GitHub source file

37 declarations, 0 contain sorry, 0 declared as axioms

Certificate22.

  1. theorem OAI.LaughlinFock.fourYLower_22 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_22 line 194
  3. def OAI.LaughlinFock.fourHighestCache_22_0 line 203
  4. def OAI.LaughlinFock.fourHighestCache_22_1 line 210
  5. def OAI.LaughlinFock.fourHighestCache_22_2 line 217
  6. def OAI.LaughlinFock.fourHighestCache_22_3 line 224
  7. def OAI.LaughlinFock.fourHighestCache_22_4 line 231
  8. def OAI.LaughlinFock.fourHighestCache_22_5 line 238
  9. def OAI.LaughlinFock.fourHighestCache_22_6 line 245
  10. def OAI.LaughlinFock.fourHighestCache_22_7 line 252
  11. def OAI.LaughlinFock.fourHighestCache_22_8 line 259
  12. def OAI.LaughlinFock.fourHighestCache_22_9 line 266
  13. def OAI.LaughlinFock.fourHighestCache_22_10 line 273
  14. def OAI.LaughlinFock.fourHighestCache_22_11 line 280
  15. def OAI.LaughlinFock.fourHighestCache_22_12 line 287
  16. def OAI.LaughlinFock.fourHighestCache_22_13 line 294
  17. def OAI.LaughlinFock.fourHighestCache_22_14 line 301
  18. def OAI.LaughlinFock.fourHighestCache_22_15 line 308
  19. def OAI.LaughlinFock.fourHighestCache_22_16 line 315
  20. def OAI.LaughlinFock.fourHighestCache_22_17 line 322
  21. def OAI.LaughlinFock.fourHighestCache_22 line 329
  22. theorem OAI.LaughlinFock.fourHighestNumber_22_1 line 331
  23. theorem OAI.LaughlinFock.fourHighestNumber_22_3 line 337
  24. theorem OAI.LaughlinFock.fourHighestNumber_22_5 line 343
  25. theorem OAI.LaughlinFock.fourHighestNumber_22_7 line 349
  26. theorem OAI.LaughlinFock.fourHighestNumber_22_9 line 355
  27. theorem OAI.LaughlinFock.fourHighestNumber_22_11 line 361
  28. theorem OAI.LaughlinFock.fourHighestNumber_22_13 line 367
  29. theorem OAI.LaughlinFock.fourHighestNumber_22_15 line 373
  30. theorem OAI.LaughlinFock.fourHighestNumber_22_17 line 379
  31. theorem OAI.LaughlinFock.fourHighestNumber_22_19 line 385
  32. theorem OAI.LaughlinFock.fourHighestNumber_22_21 line 391
  33. theorem OAI.LaughlinFock.fourHighestChecked_22 line 397
  34. theorem OAI.LaughlinFock.fourZChecked_22 line 413
  35. theorem OAI.LaughlinFock.fourLDLChecked_22 line 422
  36. theorem OAI.LaughlinFock.fourPivotChecked_22 line 439
  37. theorem OAI.LaughlinFock.integer_certificate_22 line 443