OAI/Algebra/AuslanderReiten/Stable/StableIsomorphism.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ArExplicit.StableIsomorphism line 15
2. def OAI.ArExplicit.StableIsomorphism.refl line 26
3. def OAI.ArExplicit.StableIsomorphism.symm line 32
4. def OAI.ArExplicit.StableIsomorphism.ofLinearEquiv line 38
5. def OAI.ArExplicit.StableIsomorphism.trans line 44
6. def OAI.ArExplicit.StableIsomorphism.targetAddEquiv line 55
7. def OAI.ArExplicit.StableIsomorphism.sourceAddEquiv line 62
8. def OAI.ArExplicit.StableIsomorphism.ofExactProjectiveKernel line 75
9. theorem OAI.ArExplicit.StableIsomorphism.ofExactProjectiveKernel_hom line 115