OAI/Computability/DegreeRigidity/Representation/SourceTGenericPersistence.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.ArithmeticTree.NativePersistent line 13
2. theorem OAI.TuringRigidity.ArithmeticTree.nativePersistent_iff line 21
3. theorem OAI.TuringRigidity.ArithmeticTree.generic_nativePersistent_iff line 33
4. theorem OAI.TuringRigidity.ArithmeticTree.generic_persistence_transfer line 47