OAI/Computability/DegreeRigidity/Effective/AntichainCoding.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.TuringRigidity.AntichainCoding.Index line 9
2. def OAI.TuringRigidity.AntichainCoding.requirements line 11
3. theorem OAI.TuringRigidity.AntichainCoding.requirements_dense line 18
4. theorem OAI.TuringRigidity.AntichainCoding.swap_join_reduces line 31
5. theorem OAI.TuringRigidity.AntichainCoding.normalized_coding line 34
6. theorem OAI.TuringRigidity.AntichainCoding.antichain_coding line 95