mathlib
fdd7e98c - feat(set_theory/*): Redefine `sup f` as `supr f` (#12657)

Commit

3 years ago

feat(set_theory/*): Redefine `sup f` as `supr f` (#12657)

Author

vihdzp

vihdzp

Parents

Loading