feat(logic/relation): trans_gen closure (#5129)
feat(logic/relation): trans_gen closure (#5129)

Mechanical conversion of `refl_trans_gen` lemmas for just `trans_gen`.





leanprover-community/mathlib,leanprover-community/mathlib