OAI/Computability/PerfectCompleteness/Decoding/Projection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.fiber_card_eq_filter_length line 11
2. theorem OAI.PerfectCompleteness.ProjectionTable.fiber_card line 20
3. def OAI.PerfectCompleteness.ProjectionTable.ofMap line 25
4. theorem OAI.PerfectCompleteness.ProjectionTable.ofMap_apply line 31