Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 4 of 4
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).
1 to 4 of 4