Bokuan Li
|
22ce40afa2
|
Fixed minor typo.
Compile Project / Compile (push) Successful in 46s
|
2026-07-21 20:56:11 -04:00 |
|
Bokuan Li
|
1ef1cde0b2
|
Added another corollary.
Compile Project / Compile (push) Successful in 43s
|
2026-07-20 22:55:07 -04:00 |
|
Bokuan Li
|
6019461a9b
|
Added corollaries.
Compile Project / Compile (push) Successful in 56s
|
2026-07-20 22:40:36 -04:00 |
|
Bokuan Li
|
60f8fb94eb
|
Added characterisation of the approximation property.
Compile Project / Compile (push) Successful in 54s
|
2026-07-20 19:48:59 -04:00 |
|
Bokuan Li
|
fe557de4a6
|
Various additions.
|
2026-07-16 13:49:27 -04:00 |
|