jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
143 Commits 1 Branch 0 Tags
60115baa413d61fd3ccdde5ce034ced2462f545f
Commit Graph
16 Commits
Author SHA1 Message Date
Bokuan Li 60115baa41 Replaced references to upward-directed families with ideals. 2026-05-04 17:08:01 -04:00
Bokuan Li 9259cd1d86 Added notation pages for major sections. 2026-04-23 02:56:47 -04:00
Bokuan Li aa4756e941 Adjusted citation formats. Moved citation off of named theorems if possible.
Compile Project / Compile (push) Successful in 22s
Details
2026-03-19 23:58:16 -04:00
Bokuan Li 37a5ce14bf Added the Bochner integral. 2026-03-17 15:16:13 -04:00
Bokuan Li ef91d9f91b Various typo fixes. 2026-03-15 23:04:46 -04:00
Bokuan Li 62a8e78dfe Typo fixes. 2026-03-15 12:32:31 -04:00
Bokuan Li 68ec8c38a7 Updated spec config.
Compile Project / Compile (push) Successful in 16s
Details
2026-03-12 22:02:52 -04:00
Bokuan Li 61f66523e0 Prepare for migration into spec. 2026-03-12 21:26:34 -04:00
Bokuan Li 99f57be39e Housekeeping. 2026-03-06 14:55:54 -05:00
Bokuan Li 5034bc4220 Cleanup 2026-03-06 14:06:15 -05:00
Bokuan Li 173727665b Symmetry of the derivative (normed/frechet). 2026-02-03 17:57:07 -05:00
Bokuan Li 7bbbf75213 Adjusted mean value theorem. 2026-02-03 11:07:32 -05:00
Bokuan Li 04786ba3d9 Added the Mean Value Theorem. 2026-02-03 00:54:44 -05:00
Bokuan Li 8a4e6f5ebf Defined derivatives. 2026-02-02 17:53:23 -05:00
Bokuan Li 307f23ad57 Me when I forget to commit. 2026-01-17 23:11:19 -05:00
Bokuan Li a89c447b3b Started differential geometry part. 2026-01-06 17:25:27 -05:00