mathlib
1077eb3c - feat(analysis/complex): a few lemmas about `dist` and `conj` (#11913)

Commit

3 years ago

feat(analysis/complex): a few lemmas about `dist` and `conj` (#11913)

Author

urkud

urkud

Parents

Loading