Bokuan Li a57b88618f Added existence of the weak integral.

2026-08-07 20:14:39 -04:00

..

bochner-integral

Strengthened the simple function approximations.

2026-06-28 14:33:32 -04:00

lcg

Oopsies daisies.

2026-07-07 20:50:19 -04:00

lebesgue-integral

Strengthened the simple function approximations.

2026-06-28 14:33:32 -04:00

measurable-maps

Updated the existing system to accomodate scaffolds.

2026-06-29 17:43:02 -04:00

measure

Oopsies daisies.

2026-07-07 20:50:19 -04:00

radon

Added Banach-Mazur.

2026-08-06 16:19:07 -04:00

sets

Added universality of the zero-dimensional spaces.

2026-08-06 15:59:15 -04:00

vector

Oopsies daisies.

2026-07-07 20:50:19 -04:00

weak-integral

Added existence of the weak integral.

2026-08-07 20:14:39 -04:00

index.tex

Added more facts about topological groups.

2026-06-17 20:27:35 -04:00

notation.tex

Added elementary facts about conve functions.

2026-06-23 22:38:23 -04:00