Registry · Remark VII.R17 tau-effective not_applicable

VII.R17 — Empirical Sector Summary

Capstone: 23 definitions, 8 theorems, 5 propositions, 15 remarks constitute completed S_E sector.

Book VII Part 3 Ch. 40

Lean Formalization

Module:

Symbol: