Added inductive limits of TVS.

2026-01-29 12:04:26 -05:00
parent 317e652a6a
commit c0a76cc2f0
3 changed files with 77 additions and 47 deletions
--- a/src/fa/tvs/index.tex
+++ b/src/fa/tvs/index.tex
@@ -9,4 +9,5 @@
 \input{./src/fa/tvs/quotient.tex}
 \input{./src/fa/tvs/completion.tex}
 \input{./src/fa/tvs/projective.tex}
+\input{./src/fa/tvs/inductive.tex}
 \input{./src/fa/tvs/spaces-of-linear.tex}