ordinal): rename `Set.is_transitive` to `Set.transitive`
#18339

Open

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

astrainfinita wants to merge 1 commit into master from FR_ZFC_transitive_rename

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

b9af944a

astrainfinita added awaiting-review

astrainfinita added awaiting-CI

github-actions removed awaiting-CI

eric-wieser requested changes on 2023-01-31

eric-wieser removed awaiting-review

eric-wieser added awaiting-author

astrainfinita added RFC

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

RFC awaiting-author too-late

Milestone

No milestone