OAI/Analysis/WeakInfiniteness/SquareZeroComparison.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakPureInfiniteness.square_zero_two_copies line 30
2. lemma OAI.WeakPureInfiniteness.CuntzSubequiv.double_copies line 61
3. lemma OAI.WeakPureInfiniteness.CuntzSubequiv.power_two_copies line 70
4. lemma OAI.WeakPureInfiniteness.CuntzSubequiv.power_two_binary line 81