trans vs trans

Stream: mathlib4

[Patrick Massot]

Is there any reason to keep docs#trans around now that we have docs#Trans.trans which is strictly more general? We could have

instance {α : Type*} {r : α → α → Prop} [IsTrans α r] : Trans r r r where
  trans := IsTrans.trans _ _ _

[Eric Wieser]

I have a branch that started merging these, but it was annoying so I decided there were better uses of my time