OAI/Algebra/AuslanderReiten/BaseChange/
50 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- MainScalarExtension.lean 2 declarations
- ScalarExtension.lean 9 declarations
- ScalarExtensionCokernel.lean 4 declarations
- ScalarExtensionComplete.lean 6 declarations
- ScalarExtensionDescent.lean 5 declarations
- ScalarExtensionExact.lean 3 declarations
- ScalarExtensionExt.lean 1 declarations
- ScalarExtensionHom.lean 8 declarations
- ScalarExtensionHomExact.lean 1 declarations
- ScalarExtensionPresentation.lean 3 declarations
- ScalarExtensionProjective.lean 3 declarations
- ScalarExtensionStructure.lean 5 declarations