Mathlib v3 is deprecated. Go to Mathlib v4

Theorem relation.refl_trans_gen.total_of_right_unique

Modification history

2018-06-30 00:43
logic/relation.lean
feat(computability/turing_machine): rework proofs, simplify TM lang
Added relation.refl_trans_gen.total_of_right_uniqueView on Github →