OAI/RingTheory/Tachikawa/
2843 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- Bimodule.lean 94 declarations
- Coinduction.lean 190 declarations
- CompleteResolution.lean 56 declarations
- CompleteTensor.lean 91 declarations
- Cone.lean 73 declarations
- Coresolution.lean 82 declarations
- Corner.lean 165 declarations
- Counterexample.lean 39 declarations
- Delta.lean 104 declarations
- DerivedDescent.lean 80 declarations
- DerivedInduction.lean 85 declarations
- DownHom.lean 83 declarations
- FiniteCoinduction.lean 101 declarations
- HomProfile.lean 100 declarations
- Induction.lean 112 declarations
- Nakayama.lean 149 declarations
- OuterExt.lean 59 declarations
- OuterTensor.lean 109 declarations
- Perfect.lean 90 declarations
- Period.lean 146 declarations
- ReverseResolution.lean 118 declarations
- RightInduction.lean 91 declarations
- Socle.lean 92 declarations
- StableDuality.lean 60 declarations
- StableLift.lean 54 declarations
- StableShift.lean 84 declarations
- Symmetry.lean 43 declarations
- Tensor.lean 106 declarations
- Triangular.lean 101 declarations
- TwistHom.lean 27 declarations
- Twisting.lean 59 declarations