OAI/Analysis/FreeWords/PartitionHom.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KKProjectionSupport.partitionLinear line 15
2. theorem OAI.KKProjectionSupport.partitionLinear_apply line 21
3. theorem OAI.KKProjectionSupport.partitionLinear_mul line 24
4. def OAI.KKProjectionSupport.partitionHom line 40
5. theorem OAI.KKProjectionSupport.partitionHom_apply line 55
6. theorem OAI.KKProjectionSupport.partitionHom_pow line 59