ordinal): more lemmas on transitive sets (#18307)

Commit

2 years ago

feat(set_theory/zfc/ordinal): more lemmas on transitive sets (#18307) Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

Author

vihdzp

Parents