OAI/Analysis/WeakInfiniteness/TensorIdealCut.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakPureInfiniteness.kernelAlgebra line 30
2. lemma OAI.WeakPureInfiniteness.kernelAlgebra_closed line 38
3. instance OAI.WeakPureInfiniteness.(instance at line 41) line 41
4. def OAI.WeakPureInfiniteness.tensorCutLinear line 45
5. def OAI.WeakPureInfiniteness.cutVanishingSpace line 50
6. lemma OAI.WeakPureInfiniteness.cutVanishingSpace_closed line 69
7. lemma OAI.WeakPureInfiniteness.tensorCut_tendsto_zero_on_ideal line 77