jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
518 Commits 1 Branch 0 Tags
856f7d7be567c44504ac8dc0d1c63e5002910499
Commit Graph
6 Commits
Author SHA1 Message Date
Bokuan Li 3a81f8833a Housekeeping with the maximal theorem. 2026-09-16 11:23:13 -04:00
Bokuan Li 8b5da0b349 Added elementary facts about conve functions.
Compile Project / Compile (push) Successful in 41s
Details
2026-06-23 22:38:23 -04:00
Bokuan Li 3bf3f2a85c Adjusted notation for spaces of measurable functions. 2026-06-22 12:55:37 -04:00
Bokuan Li a57686be8f Added notation for space of measurable functions. 2026-06-21 21:08:13 -04:00
Bokuan Li 4ba2e76b44 Added the principal logarithm. 2026-05-11 16:11:33 -04:00
Bokuan Li 9259cd1d86 Added notation pages for major sections. 2026-04-23 02:56:47 -04:00