OAI/Algebra/Finitistic/Iteration/
53 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- AdditiveIterateAmplitude.lean 3 declarations
- BinomialBiproduct.lean 2 declarations
- BinomialEvenIteration.lean 3 declarations
- BinomialIndex.lean 12 declarations
- BinomialIteration.lean 5 declarations
- BinomialVanishing.lean 5 declarations
- FiniteIntegerIterate.lean 4 declarations
- FunctorObjectIteration.lean 2 declarations
- IntegerIterateAmplitude.lean 6 declarations
- IntegerIterateExtinction.lean 4 declarations
- IntegerIterateSupport.lean 4 declarations
- ObjectwiseSplitting.lean 3 declarations