Revision #2296 → #2536 · back to history
7dad9705ec56| Field | From #2296 | To #2536 |
|---|---|---|
| mathlib.decl | Computability.rice | ComputablePred.rice |
| provenance | ai | ai-moderated |
66bc05588cf6| Field | From #2296 | To #2536 |
|---|---|---|
| mathlib.decl | Computability.rice | ComputablePred.rice |
| provenance | ai | ai-moderated |