mathlib3
1181c990 - feat(algebra/order/archimedean): upgrade some `∃` to `∃!` (#10343)

Commit

4 years ago

feat(algebra/order/archimedean): upgrade some `∃` to `∃!` (#10343)

Author

urkud

urkud

Parents

Loading