OAI/Algebra/AuslanderReiten/Main.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.diagonalClass line 21
2. abbrev OAI.ArExplicit.explicitConclusionProof line 24
3. def OAI.ArExplicit.verifiedCandidate line 38
4. def OAI.ArExplicit.verifiedCounterexample line 44
5. def OAI.ArExplicit.counterexample line 46
6. theorem OAI.ArExplicit.counterexample_mainConclusions line 48
7. theorem OAI.ArExplicit.fullMainTheorem line 52
8. theorem OAI.ArExplicit.main line 55