OAI/Analysis/WeakInfiniteness/SmallFree.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.WeakPureInfiniteness.fullGroup_separable line 26
2. instance OAI.WeakPureInfiniteness.fullGroup_small line 33
3. instance OAI.WeakPureInfiniteness.reducedFreeLarge_separable line 36
4. instance OAI.WeakPureInfiniteness.reducedFreeLarge_small line 41