Commit 2023-11-25 17:55 4b97b736

View on Github →

doc(Computability/Halting): Mark named theorems (#8577) Mark these named theorems: Rice, Downward and Upward Skolem

Estimated changes

Modified Mathlib/Computability/Halting.lean

Modified Mathlib/Computability/TuringMachine.lean

Modified Mathlib/ModelTheory/Satisfiability.lean

Modified Mathlib/ModelTheory/Skolem.lean