OAI/Analysis/FreeWords/PartialIsoChain.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.KKProjectionSupport.exists_bounded_wot_ultralimit line 60
2. theorem OAI.KKProjectionSupport.wot_mul_const line 71
3. theorem OAI.KKProjectionSupport.wot_const_mul line 79
4. theorem OAI.KKProjectionSupport.wot_limit_eq line 87
5. theorem OAI.KKProjectionSupport.partialIso_directed_limit line 95
6. theorem OAI.KKProjectionSupport.exists_maximal_partialIso line 134