list-thm-def-2025.pdf