Wiedemann–Franz 則（緩和時間近似）

命題 5.1（「自由電子気体」§5）・ ✓公理まで証明済み

熱流と電流を運ぶ電子の緩和時間が同じ $\tau$ であると仮定すると、自由電子気体の熱伝導率と電気伝導度の比は

L=\frac{\kappa}{\sigma T}=\frac{\pi^2}3\left(\frac{k_B}e\right)^2=2.44\times10^{-8}\ \mathrm{W\,\Omega\,K^{-2}}

で、物質によらない定数である。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 83 件、定義なども含めて 94 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

証明で明示的に参照している定理は、まだありません。