OAI/Analysis/WeakInfiniteness/LocalConnection2.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakPureInfiniteness.starLift_inr_apply line 36
2. lemma OAI.WeakPureInfiniteness.irreducible_starLift line 41
3. lemma OAI.WeakPureInfiniteness.exists_local_common_two line 48
4. lemma OAI.WeakPureInfiniteness.exists_local_common_family line 85