OAI/Algebra/AuslanderReiten/Fibers/ExplicitBimoduleProjective.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.ArExplicit.T.explicitBimodule_finite_left line 10
2. instance OAI.ArExplicit.T.explicitBimodule_projective_left line 13
3. instance OAI.ArExplicit.T.explicitBimodule_finite_right line 16
4. instance OAI.ArExplicit.T.explicitBimodule_projective_right line 19