Skip to content

feat(QuantumMechanics/Blackbody): extend Planck's law with wavelength form and radiation constants - #1720

Open
dwan-ith wants to merge 2 commits into
leanprover-community:masterfrom
dwan-ith:feat/blackbody-planck-wien
Open

dwan-ith wants to merge 2 commits into
leanprover-community:masterfrom
dwan-ith:feat/blackbody-planck-wien

Commits

Commits on Oct 2, 2026