OAI/Analysis/LaughlinFock/Certificate23.lean

GitHub source file

41 declarations, 0 contain sorry, 0 declared as axioms

Certificate23.

  1. theorem OAI.LaughlinFock.fourYLower_23 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_23 line 228
  3. def OAI.LaughlinFock.fourHighestCache_23_0 line 237
  4. def OAI.LaughlinFock.fourHighestCache_23_1 line 244
  5. def OAI.LaughlinFock.fourHighestCache_23_2 line 251
  6. def OAI.LaughlinFock.fourHighestCache_23_3 line 258
  7. def OAI.LaughlinFock.fourHighestCache_23_4 line 265
  8. def OAI.LaughlinFock.fourHighestCache_23_5 line 272
  9. def OAI.LaughlinFock.fourHighestCache_23_6 line 279
  10. def OAI.LaughlinFock.fourHighestCache_23_7 line 286
  11. def OAI.LaughlinFock.fourHighestCache_23_8 line 293
  12. def OAI.LaughlinFock.fourHighestCache_23_9 line 300
  13. def OAI.LaughlinFock.fourHighestCache_23_10 line 307
  14. def OAI.LaughlinFock.fourHighestCache_23_11 line 314
  15. def OAI.LaughlinFock.fourHighestCache_23_12 line 321
  16. def OAI.LaughlinFock.fourHighestCache_23_13 line 328
  17. def OAI.LaughlinFock.fourHighestCache_23_14 line 335
  18. def OAI.LaughlinFock.fourHighestCache_23_15 line 342
  19. def OAI.LaughlinFock.fourHighestCache_23_16 line 349
  20. def OAI.LaughlinFock.fourHighestCache_23_17 line 356
  21. def OAI.LaughlinFock.fourHighestCache_23_18 line 363
  22. def OAI.LaughlinFock.fourHighestCache_23_19 line 370
  23. def OAI.LaughlinFock.fourHighestCache_23_20 line 377
  24. def OAI.LaughlinFock.fourHighestCache_23 line 384
  25. theorem OAI.LaughlinFock.fourHighestNumber_23_1 line 386
  26. theorem OAI.LaughlinFock.fourHighestNumber_23_3 line 392
  27. theorem OAI.LaughlinFock.fourHighestNumber_23_5 line 398
  28. theorem OAI.LaughlinFock.fourHighestNumber_23_7 line 404
  29. theorem OAI.LaughlinFock.fourHighestNumber_23_9 line 410
  30. theorem OAI.LaughlinFock.fourHighestNumber_23_11 line 416
  31. theorem OAI.LaughlinFock.fourHighestNumber_23_13 line 422
  32. theorem OAI.LaughlinFock.fourHighestNumber_23_15 line 428
  33. theorem OAI.LaughlinFock.fourHighestNumber_23_17 line 434
  34. theorem OAI.LaughlinFock.fourHighestNumber_23_19 line 440
  35. theorem OAI.LaughlinFock.fourHighestNumber_23_21 line 446
  36. theorem OAI.LaughlinFock.fourHighestNumber_23_23 line 452
  37. theorem OAI.LaughlinFock.fourHighestChecked_23 line 458
  38. theorem OAI.LaughlinFock.fourZChecked_23 line 475
  39. theorem OAI.LaughlinFock.fourLDLChecked_23 line 484
  40. theorem OAI.LaughlinFock.fourPivotChecked_23 line 501
  41. theorem OAI.LaughlinFock.integer_certificate_23 line 505