Blueprint Preview Wiring
Definition1
XL∃∀N
used by 1
Lean status
- No associated Lean code or declarations.
Base statement using \previewmacro in summary and graph previews.
Lemma2
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
Depends on Definition 1.