Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Native Blueprint text with imported witnesses
2.
Bodyless Markdown statement with Lean declarations
3.
Selected Markdown preview with TeX alongside
4.
Authored labels with punctuation
5.
Bodyless TeX statement
6.
Multi-page source provenance
7.
Native rewrite after review
8.
Summary surface
Blueprint Summary