Registry · Remark II.R11 established not_applicable

II.R11 — Positive vs Negative Regularity

Positive vs Negative Regularity

Book II Part 7 Ch. 39

Dependency Graph

Depends on (2)

II.D49 II.T34

Lean Formalization

Module:

Symbol: