Registry · Remark II.R15 established not_applicable

II.R15 — Self-Description Property

Self-Description Property

Book II Part 8 Ch. 45

Dependency Graph

Depends on (4)

Lean Formalization

Module:

Symbol: