Skip to content

feat(QuantumMechanics/Blackbody): Added Canonical Definition Planck's law - #1629

Merged
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
Sammybro11:PlancksLaw
Sep 12, 2026
Merged

jstoobysmith merged 6 commits into
leanprover-community:masterfrom
Sammybro11:PlancksLaw

Index updated for Docs in PlancksLaw

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