OAI/Algebra/AuslanderReiten/Resolutions/ResolutionCoverExt.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.ArExplicit.resolutionExt_cover_conjugateline 13
OAI/Algebra/AuslanderReiten/Resolutions/ResolutionCoverExt.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.ArExplicit.resolutionExt_cover_conjugate line 13