OAI/Analysis/LaughlinFock/Main.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Main.

  1. theorem OAI.LaughlinFock.certificate_four line 38
  2. theorem OAI.LaughlinFock.thm_fock line 69

    Distinct definitions of this name: ComparatorChallenges/LaughlinFock.lean:58 (different declaration text). Qualify references as OAI.LaughlinFock.thm_fock@path.