`OAI/Algebra/FinitisticAsymmetry/Rickard/`

52 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

FiniteFamilies.lean 2 declarations
InjectiveSums.lean 4 declarations
NonGeneration.lean 3 declarations
Orthogonal.lean 8 declarations
OrthogonalStalks.lean 2 declarations
ReducedProducts.lean 21 declarations
ResolutionFamily.lean 12 declarations