mathlib
8651b707 - chore(set_theory/cardinal/cofinality): golf + fix spacing (#14509)

Commit

3 years ago

chore(set_theory/cardinal/cofinality): golf + fix spacing (#14509)

Author

vihdzp

vihdzp

Parents

Loading