mathlib3

c97887bd - refactor(data/list/chain): `transitive` → `is_trans` on `chain.pairwise` (#15571)

refactor(data/list/chain): `transitive` → `is_trans` on `chain.pairwise` (#15571) Apart from being more widely used throughout `mathlib`, `is_trans` can be inferred when used with common relations such as `≤`, `<`, `∣`, and others.