basic): golf theorems on `cardinal.ord` and `ordinal.card` (#14709)

Commit

3 years ago

golf(set_theory/ordinal/basic): golf theorems on `cardinal.ord` and `ordinal.card` (#14709)

Author

vihdzp

Parents