Theorem Turing.Tape.write_mk

Modification history

2025-11-24 17:30

Mathlib/Computability/Tape.lean

fix(Computability/Tape): generalize simplification theorem `Tape.write_mk'` (#30821) …

Added Turing.Tape.write_mk View on Github →