Unless a file states otherwise, all mathematical writing, PDFs, TeX sources, site text, metadata, images, Lean formalizations, and site source in Tensorgami are copyright © 2026 Henry Shin. All rights reserved.
The repository is public so that the notes, sources, theorem statements, and verification checks can be inspected. No general permission is granted for reuse, redistribution, adaptation, or relicensing unless a separate notice says so.
Short quotations with attribution, ordinary scholarly citation, and links to the public pages are welcome. For reuse beyond that, contact hkshin@alumni.harvard.edu.