mathlib
e18972b3 - feat(set_theory/ordinal_arithmetic): Suprema of empty families (#11872)

Commit

3 years ago

feat(set_theory/ordinal_arithmetic): Suprema of empty families (#11872)

Author

vihdzp

vihdzp

Parents

Loading