Source-pinned research
Search theorem names, mathematical ideas, modules, topics, projects, and role-labelled researchers. Open a result for its complete indexed Lean declaration and source record.
This index contains 2 research declarations. Search 10,000 more complete Mathlib declarations.
2 results
Clear filterstendsto_truncated_vertical_shift_with_simple_pole
Plain-language statement
Truncated contour shift through a simple pole. The left vertical side stays as the symmetric truncation; only the right vertical side is required to be Bochner integrable.
Source project: Prime Number Theorem and More
Person-level attribution pending.
tendsto_truncated_vertical_shift_with_simple_pole_Ioo
Plain-language statement
Set-integral form of tendsto_truncated_vertical_shift_with_simple_pole, normalized as (2π)⁻¹ ∫ f(σ + it) dt.
Source project: Prime Number Theorem and More
Person-level attribution pending.