Remove unnecessary imports, now that lazy-loading submodules is suppo…

…rted.
rrmath · Jul 17, 2019 · ef39269 · ef39269
1 parent 493b60c
commit ef39269
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/H/ilbert/ZB/__.pfsc b/H/ilbert/ZB/__.pfsc
@@ -119,6 +119,3 @@ runningDefs = '
     }
 ]'
 
-import gh.rrmath.lit.H.ilbert.ZB.Lem18 as Lem18
-import gh.rrmath.lit.H.ilbert.ZB.Pg369_2 as Pg369_2
-import gh.rrmath.lit.H.ilbert.ZB.Thm117 as Thm117