導関数の族の有界性

系 7.3（「最大値原理の一般化と正則関数族」§7）・ ✓公理まで証明済み

$\mathcal{F}$ が $\Omega$ 上の局所一様有界な正則関数族ならば、 $\{f':f\in\mathcal{F}\}$ も局所一様有界である。

閉包の状態

✓ 公理まで証明済み

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

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

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

コーシーの評価式✓命題 4.1・正則関数の強力な性質
- コーシーの積分公式（導関数版）✓定理 3.2・正則関数の強力な性質
  - コーシー型積分の微分✓補題 3.1・正則関数の強力な性質

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