OAI/Analysis/WeakInfiniteness/ULiftCStar.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.WeakPureInfiniteness.uliftStarRing line 19
2. instance OAI.WeakPureInfiniteness.uliftStarModule line 25
3. instance OAI.WeakPureInfiniteness.uliftCStarAlgebra line 29
4. def OAI.WeakPureInfiniteness.uliftStarAlgEquiv line 32