ordinal): cardinality of `α →₀ β` (#15198)

Commit

3 years ago

feat(set_theory/cardinal/ordinal): cardinality of `α →₀ β` (#15198) As requested by @YaelDillies.

Author

vihdzp

Parents