OAI/Combinatorics/Progressions/Sampling/PreparedFiniteUniversalSlicedForecastModelExtension.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos3.VectorPolynomial.PreparedUniversalSlicedForecastModelExtensionInterface line 92
2. theorem OAI.Erdos3.VectorPolynomial.preparedUniversalSlicedForecastModelExtensionInterface_of_prepared line 242
3. def OAI.Erdos3.VectorPolynomial.PreparedFiniteUniversalSlicedForecastModelExtensionInterface line 394
4. theorem OAI.Erdos3.VectorPolynomial.preparedFiniteUniversalSlicedForecastModelExtensionInterface_of_universal line 548