OAI/NumberTheory/JointDickman/Counting/EndpointWindowIdentity.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Exact localization of the endpoint Fourier sum to its log window
- theorem
OAI.JointDickman.endpoint_histogram_window_identityline 11