6 Commits

Include renames

Author	SHA1	Message	Date
Bokuan Li	7e649d64f8	Standard form, first draft.	2026-11-08 19:29:34 -05:00
Bokuan Li	d044d312d8	Unlimited FC, first draft.	2026-11-08 19:29:23 -05:00
Bokuan Li	d8441a3cd9	Housekeeping.	2026-11-08 19:29:16 -05:00
Bokuan Li	b5c1e7488d	Notation management.	2026-11-06 19:16:21 -05:00
Bokuan Li	400382be1d	Oopsies daisies.	2026-11-06 17:50:54 -05:00
Bokuan Li	64d19d3942	Housekeeping: moved von Neumann algebras to its own part.	2026-11-06 17:44:20 -05:00