mathlib3
0964573a - feat(set_theory/cardinal): Lift `min` and `max` (#12518)

Commit

3 years ago

feat(set_theory/cardinal): Lift `min` and `max` (#12518)

Author

vihdzp

vihdzp

Parents

Loading