OAI/Computability/DegreeRigidity/SetModels/CountableBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.CountableBound.sum line 9
2. theorem OAI.TuringRigidity.CountableBound.reduces_sum line 11
3. theorem OAI.TuringRigidity.CountableBound.countable_bounded line 18