3 Commits

Include renames

Author	SHA1	Message	Date
Bokuan Li	13a0e07b72	Fixed some numbering problems.	2026-06-04 13:41:05 -04:00
Bokuan Li	ebead6c022	Added the unitisation.	2026-06-04 13:39:55 -04:00
Bokuan Li	f72f815c72	Added basic facts about the Gelfand transform.	2026-06-03 15:44:13 -04:00