OAI/Analysis/WeakInfiniteness/UniversalGroupMap.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakPureInfiniteness.pairRepresentation line 21
2. def OAI.WeakPureInfiniteness.pairAmbientMap line 25
3. lemma OAI.WeakPureInfiniteness.pairAmbientMap_element line 36
4. lemma OAI.WeakPureInfiniteness.pairAmbientMap_mem line 43
5. def OAI.WeakPureInfiniteness.fullToUniversal line 60
6. lemma OAI.WeakPureInfiniteness.fullToUniversal_element line 64
7. lemma OAI.WeakPureInfiniteness.fullToUniversal_evaluation line 69