ordinal): transitive sets (#15288)

Commit

3 years ago

feat(set_theory/zfc/ordinal): transitive sets (#15288) We define transitive sets, as an initial development towards von Neumann ordinals.

Author

vihdzp

Parents