OAI/Analysis/WeakInfiniteness/SeparationSupport.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakPureInfiniteness.map_separationN line 36
2. lemma OAI.WeakPureInfiniteness.nonunital_separationGN line 43
3. lemma OAI.WeakPureInfiniteness.nonunital_norm_separationN line 51
4. lemma OAI.WeakPureInfiniteness.separation_core_comparisons line 59