Mathlib v3 is deprecated. Go to Mathlib v4

Inductive relation.trans_gen

Modification history

2020-11-03 17:56
src/logic/relation.lean
feat(tactic/mk_iff_of_inductive_prop): mk_iff attribute (#4863) …
Modified relation.trans_genView on Github →
2018-06-16 17:39
logic/relation.lean
feat(computability/turing_machine): finish stack machine proof
Added relation.trans_genView on Github →