OAI/Algebra/Finitistic/Selected/
350 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- SelectedBarBimodule.lean 5 declarations
- SelectedBarComparison.lean 4 declarations
- SelectedBarPowers.lean 2 declarations
- SelectedBarResolution.lean 2 declarations
- SelectedBarStart.lean 3 declarations
- SelectedBaseIterates.lean 6 declarations
- SelectedChainAction.lean 6 declarations
- SelectedChainDiagram.lean 12 declarations
- SelectedChainHomology.lean 22 declarations
- SelectedCohomologyAssembly.lean 2 declarations
- SelectedCohomologyVanishing.lean 2 declarations
- SelectedCountCohomology.lean 5 declarations
- SelectedCountExtinction.lean 3 declarations
- SelectedCountPDConsumer.lean 1 declarations
- SelectedDerivedFunctor.lean 6 declarations
- SelectedDiagramEvaluation.lean 18 declarations
- SelectedFiniteAmplitude.lean 3 declarations
- SelectedFiniteTensorEvaluation.lean 4 declarations
- SelectedFirstBlockFamily.lean 11 declarations
- SelectedFixedDiagram.lean 14 declarations
- SelectedImageComparison.lean 5 declarations
- SelectedIteration.lean 5 declarations
- SelectedMinimalResolution.lean 4 declarations
- SelectedNativeAction.lean 14 declarations
- SelectedNativeEvaluation.lean 12 declarations
- SelectedOrdinaryAlgebra.lean 20 declarations
- SelectedOrdinaryDimension.lean 4 declarations
- SelectedOrdinaryModules.lean 20 declarations
- SelectedOrdinaryOrbit.lean 10 declarations
- SelectedOrdinaryResolution.lean 8 declarations
- SelectedPDBarConsumer.lean 4 declarations
- SelectedPDConclusion.lean 4 declarations
- SelectedPDDetection.lean 10 declarations
- SelectedPDResidueProjection.lean 5 declarations
- SelectedPDUpperConsumer.lean 5 declarations
- SelectedRealization.lean 10 declarations
- SelectedRectification.lean 9 declarations
- SelectedReferenceCohomology.lean 2 declarations
- SelectedShiftedRealization.lean 9 declarations
- SelectedTargetHomology.lean 22 declarations
- SelectedTensor.lean 7 declarations
- SelectedTensorComparison.lean 5 declarations
- SelectedTensorSplitting.lean 4 declarations
- SelectedUnderlyingHomology.lean 6 declarations
- SelectedVertexTensorEvaluation.lean 8 declarations
- SelectedWindow.lean 7 declarations