Disclaimer
Last updated: April 28, 2026
Non-Affiliated
TheoremPath is not affiliated with, endorsed by, or sponsored by any academic institution, research lab, publisher, or third party. Nothing on this site is produced in the course of employment or on behalf of any organization.
Views and opinions expressed on TheoremPath are solely those of the author in a personal capacity. They do not represent the views of any employer or institution with which the author is or has been associated.
Not peer-reviewed
Topic pages, theorems, proofs, exercises, and references are written based on notes organized by the author and may contain errors, omissions, outdated claims, or non-standard presentations. The site is under active development and pages may change without notice.
Verify theorem statements, bounds, assumptions, and citations against primary sources before relying on them for research, publication, coursework, or professional work.
Claim verification status
Some governed claims may carry source-check records, formal Lean declarations, or Lean-verified wrappers. This does not make any page, topic, course, path, or the site as a whole peer-reviewed, formally verified, or error-free.
Lean wrappers verify only the scoped statement recorded in the generated manifest. They do not verify every explanatory sentence, example, diagram, citation, or surrounding interpretation. The full list of verified declarations is on the Lean verification dashboard; there are no page-level Lean badges.
No endorsement of cited works
Citations and references to textbooks, papers, and websites are provided for educational context. Citation does not imply endorsement by the cited authors, publishers, or institutions.
No proprietary or non-public sources
TheoremPath is written from public academic literature, textbooks, open documentation, public course material, and the author's personal study notes. It does not use proprietary employer documents, unpublished internal datasets, or non-public institutional material.
Substantive technical claims are intended to be supported by page-level references or source trails where appropriate, but errors, omissions, and incomplete citations may remain.
No professional advice
Nothing on TheoremPath constitutes professional, financial, or engineering advice. Mentions of statistical methods, decision theory, risk, or quantitative finance are for educational purposes only.
AI-assisted tooling
Machine-assisted tools may be used for draft outlines, diagrams, review passes, and study questions. Published pages still require source support, manual review, and correction when errors are found.
Reporting errors
If you find a factual, mathematical, typographical, or citation error, please use the contact page. Corrections are welcome.
Liability
TheoremPath is provided as-is without warranties of any kind. To the fullest extent permitted by law, the author disclaims all liability for any damages arising from use of, or reliance on, the content of this site.