# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. starting discussion post

Anonymous

2. starting a section on its failure in constructive mathematics

Anonymous

3. proof finished

Anonymous

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeMay 29th 2022
• (edited May 29th 2022)

Thanks.

I have added some hyperlinks (such as to cofinal) and I have given a size hierarchy to the various brackets in

$\Big\{ x \in \{0, 1\} \Big\vert (x = 0) \vee \big((x = 1) \wedge p\big) \Big\}$
  \Big\{
x \in \{0, 1\}
\Big\vert
(x = 0) \vee \big((x = 1) \wedge p\big)
\Big\}


$\,$

Finally (but this concerns not your edits but the decision I had made when creating this entry), I have removed from the entry’s name the last words “of every net” (as they made the title overly long while being essentially redundant).