jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Typo.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details

Browse Source
This commit is contained in:
Bokuan Li
2026-06-19 17:42:31 -04:00
parent 1722ddb933
commit dc789884bc
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/fa/lp/ui.tex
View File

@@ -1,5 +1,7 @@
\chapter{Uniform Integrability} \section{Uniform Integrability}
\label{chap:uniform-integrable} \label{section:uniform-integrable}
\begin{definition}[Uniform Integrability] \begin{definition}[Uniform Integrability]
\label{definition:uniform-integrable} \label{definition:uniform-integrable}