OAI/NumberTheory/Jacobsthal/Probability/OrderedWindowKernel.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos970.ErdosOmissionTail.windowKernel line 14
2. def OAI.Erdos970.ErdosOmissionTail.windowMiddle line 16
3. def OAI.Erdos970.ErdosOmissionTail.windowOuter line 18
4. def OAI.Erdos970.ErdosOmissionTail.windowMass line 20
5. theorem OAI.Erdos970.ErdosOmissionTail.windowKernel_continuous line 23
6. theorem OAI.Erdos970.ErdosOmissionTail.windowMiddle_continuous line 34
7. theorem OAI.Erdos970.ErdosOmissionTail.windowOuter_continuous line 39
8. theorem OAI.Erdos970.ErdosOmissionTail.windowKernel_literal line 51
9. theorem OAI.Erdos970.ErdosOmissionTail.scalarTailMass_zero_eq_windowMass line 56