OAI/Combinatorics/SumProduct/Alignment/RawMenu.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SourceRawMenu.Menu line 117
2. structure OAI.SourceRawMenu.CosetPiece line 142
3. def OAI.SourceRawMenu.CosetPiece.eval line 153
4. structure OAI.SourceRawMenu.ModelsSystem line 158
5. def OAI.SourceRawMenu.Alignment line 170
6. def OAI.SourceRawMenu.Menu.toCharted line 187
7. def OAI.SourceRawMenu.CosetPiece.toCharted line 197
8. lemma OAI.SourceRawMenu.CosetPiece.toCharted_eval line 205
9. def OAI.SourceRawMenu.ModelsSystem.toCharted line 216
10. theorem OAI.SourceRawMenu.alignment line 225
11. theorem OAI.raw_alignment_reference line 233