feat(logic/relation): induction principles for `trans_gen` (#10331)
feat(logic/relation): induction principles for `trans_gen` (#10331)

Corresponding induction principles already exist for `refl_trans_gen`.





leanprover-community/mathlib,leanprover-community/mathlib