add itv_closureE, itv_interiorE, and helper lemmas
#1848
+753
−18
Loading