jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
139 Commits 1 Branch 0 Tags
ba5830d5b6875d367bdd11a0abe83129267acc13
Commit Graph

3 Commits

Author SHA1 Message Date
Bokuan Li
1e53581113 Added bornological spaces. 2026-05-02 15:59:03 -04:00
Bokuan Li
16e6beb117 Replaced mentions of normed spaces to normed vector spaces.
All checks were successful
Compile Project / Compile (push) Successful in 17s
Details
2026-03-17 15:18:31 -04:00
Bokuan Li
b5126e965b Added facts about vector measures. 2026-03-15 19:30:28 -04:00