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)

II.D53 II.D54 II.T35 II.T36

Lean Formalization

Module:

Symbol: