[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Thu, 1 Dec 2022 20:53:40 +0100*References*: <9f7efea9-a54a-47fa-b70f-f29a522449ecn@googlegroups.com>

Yes, you can also write … \in BOOLEAN. -s On 1 Dec 2022, at 20:44, jack malkovick <sillymouse333@xxxxxxxxx> wrote: -- You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/567A33A9-D867-4DB8-8A9B-D6E7E8D31E86%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] another simple theorem***From:*jack malkovick

**References**:**Re: [tlaplus] another simple theorem***From:*jack malkovick

- Prev by Date:
**Re: [tlaplus] another simple theorem** - Next by Date:
**Re: [tlaplus] another simple theorem** - Previous by thread:
**Re: [tlaplus] another simple theorem** - Next by thread:
**Re: [tlaplus] another simple theorem** - Index(es):