OAI/Computability/PerfectCompleteness/Construction/SourceQuestionPairPullback.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.SourceQuestionPairPullback.rawAtCut line 19
2. theorem OAI.PerfectCompleteness.SourceQuestionPairPullback.selectedRows_pullback line 28
3. theorem OAI.PerfectCompleteness.SourceQuestionPairPullback.first_grouped_pullback line 54
4. theorem OAI.PerfectCompleteness.SourceQuestionPairPullback.second_grouped_pullback line 76
5. theorem OAI.PerfectCompleteness.SourceQuestionPairPullback.rawCast_child_heq line 120
6. theorem OAI.PerfectCompleteness.SourceQuestionPairPullback.rawAtCut_pullback line 128
7. theorem OAI.PerfectCompleteness.SourceQuestionPairPullback.first_pullback line 162
8. theorem OAI.PerfectCompleteness.SourceQuestionPairPullback.second_pullback line 184