Skip to content

refactor(Analysis): golf Complex Spectrum

8457c66
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - refactor(Analysis): golf Mathlib/Analysis/Complex/Spectrum #38404

refactor(Analysis): golf Complex Spectrum
8457c66
Select commit
Loading
Failed to load commit list.
post-or-update-summary-comment
succeeded Apr 23, 2026 in 1m 3s