## Stream: maths

### Topic: eq_zero_of_norm_lt

#### Johan Commelin (Mar 12 2021 at 08:21):

Do we know that x = 0 if the norm of x is < eps for all positive epsilon?

#### Heather Macbeth (Mar 12 2021 at 08:26):

(Well, that's for x itself rather than the norm of x.)

#### Heather Macbeth (Mar 12 2021 at 08:27):

Combine with docs#norm_eq_zero I suppose.

#### Johan Commelin (Mar 12 2021 at 08:42):

Thanks for the help!

Last updated: May 14 2021 at 18:28 UTC