IndisputableMonolith.Thermodynamics.FermiDirac

declarations in this module (20)

• def fermiDirac L49
• theorem fermi_dirac_bounded L53
• theorem fermi_at_mu L68
• theorem fermi_zero_temp_below L75
• theorem fermi_zero_temp_above L99
• theorem fermi_from_odd_phase L127
• theorem fermi_dirac_from_maximum_entropy L139
• def boseEinstein L150
• theorem bose_can_exceed_one L154
• def maxwellBoltzmann L161
• theorem classical_limit L164
• def fermiEnergy L173
• def fermiTemperature L179
• def applications L186
• theorem electronic_specific_heat L197
• theorem fermi_dirac_from_ledger L210
• theorem chemical_potential_meaning L216
• def predictions L227
• structure FermiFalsifier L241
• def experimentalStatus L248