Skip to content

feat(QuantumMechanics/Blackbody): Formalize Wien's displacement law - #1721

Open
dwan-ith wants to merge 1 commit into
leanprover-community:masterfrom
dwan-ith:feat/wiens-law
Open

dwan-ith wants to merge 1 commit into
leanprover-community:masterfrom
dwan-ith:feat/wiens-law

feat(QuantumMechanics/Blackbody): formalize Planck's law and Wien's d…

b9f1f41
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Comment a pull_request
succeeded Oct 2, 2026 in 35s