Blueprint Used-By Single Preview Wiring
Definition6
XL∃∀N
used by 1
Lean status
- No associated Lean code or declarations.
Target statement with exactly one reverse dependency.
Lemma7
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
Statement depends on Definition 6.