OAI/Algebra/AuslanderReiten/Statement.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ArExplicit.Statement.K line 11

   Also declared: ComparatorChallenges/AuslanderReiten.lean:11 (same declaration text).

2. def OAI.ArExplicit.Statement.parameters line 13

   Also declared: ComparatorChallenges/AuslanderReiten.lean:13 (same declaration text).

3. def OAI.ArExplicit.Statement.TotallyAcyclicWitness line 16

   Also declared: ComparatorChallenges/AuslanderReiten.lean:16 (same declaration text).

4. def OAI.ArExplicit.Statement.Conclusions line 26

   Also declared: ComparatorChallenges/AuslanderReiten.lean:26 (same declaration text).

5. structure OAI.ArExplicit.Statement.System line 39

   Also declared: ComparatorChallenges/AuslanderReiten.lean:39 (same declaration text).

6. def OAI.ArExplicit.Statement.FullStatement line 52

   Also declared: ComparatorChallenges/AuslanderReiten.lean:52 (same declaration text).