Registry · Remark II.R09 established not_applicable

II.R09 — Refinement Equals Resolution

Refinement Equals Resolution

Book II Part 5 Ch. 28

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: