mathlib3

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