Blueprint Used-By Preview Wiring
Definition3
✓L∃∀N
Associated Lean declarations
Target statement with associated Lean code.
Lemma4
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
Statement depends on Definition 3.
Theorem5
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
Separate theorem with a proof-only dependency.
Proof
Proof depends on Definition 3.