OAI/Analysis/FreeWords/HaarGridElement.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KKProjectionSupport.gridHom line 63
2. def OAI.KKProjectionSupport.gridElement line 67
3. theorem OAI.KKProjectionSupport.gridElement_unitary line 69
4. theorem OAI.KKProjectionSupport.gridElement_refine line 81
5. theorem OAI.KKProjectionSupport.gridElement_step line 88
6. theorem OAI.KKProjectionSupport.gridElement_moment line 108