4 Commits

Include renames

Author	SHA1	Message	Date
Bokuan Li	acd81ad818	First draft of L1 representations.	2026-09-26 14:56:57 -04:00
Bokuan Li	03e0118d53	Typo fixes.	2026-09-23 16:00:47 -04:00
Bokuan Li	44dea2be44	Oopsies forgot a theorem.	2026-09-23 15:43:03 -04:00
Bokuan Li	e40e845ed8	Moved harmonic to its own folder.	2026-09-22 10:42:26 -04:00