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

refactor: restrict PR to Planck's law file

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Oct 2, 2026 in 9s