OAI/Analysis/Pureness/States/FiniteStateComparison.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CuntzPureness.finiteCuntz_le_of_states line 11
2. theorem OAI.CuntzPureness.finiteComparison_of_states line 20
3. theorem OAI.CuntzPureness.finiteCuntz_le_of_no_states line 30
4. theorem OAI.CuntzPureness.finiteCuntz_no_states_iff_properlyInfinite line 37