Timeline for How do working constructivists get by with out the zero product property?
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 16, 2021 at 22:04 | vote | accept | ToucanIan | ||
Sep 16, 2021 at 19:02 | comment | added | Arno | @MarkSaving Thanks, I've changed to $\inf$. | |
Sep 16, 2021 at 18:39 | history | edited | Arno | CC BY-SA 4.0 |
edited body
|
Sep 16, 2021 at 18:26 | comment | added | Mark Saving | One slight nit pick. $\min$ generally implies that the minimum value is actually achieved. Probably better would be $\inf(|x|, |y|) = 0$ or $|x| \land |y| = 0$ ($\land$ being the meet). | |
Sep 16, 2021 at 16:59 | history | answered | Arno | CC BY-SA 4.0 |