OAI/NumberTheory/Jacobsthal/Analysis/CompactCorrectionLimit.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos970.ErdosCorrectionOccupation.compactCorrection line 22
2. theorem OAI.Erdos970.ErdosCorrectionOccupation.compact_correction_error line 26
3. theorem OAI.Erdos970.ErdosCorrectionOccupation.uniform_compact_correction line 54
4. theorem OAI.Erdos970.ErdosCorrectionOccupation.fixed_compact_correction_limit line 91