OAI/Computability/DegreeRigidity/Constructibility/PersistentExtension.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.PersistentExtension.nonpersistent_witness line 10
2. theorem OAI.TuringRigidity.PersistentExtension.source_4_1_10 line 16