mathlib3

chore(set_theory/zfc/ordinal): rename `Set.is_transitive` to `Set.transitive`

#18339

Open