On Tue, Jun 18, 2019 at 6:01 PM Mario Carneiro <[email protected]> wrote:
> In statements, this means that an application "wff x ph" is translated to > "wff (\x. ph x)" where "\x." is a lambda over x. > Oops, typo. That should read: In statements, this means that an application "wal x ph" is translated to "wal (\x. ph x)" where "\x." is a lambda over x. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSs9yPXUUBTGgGbUFETYr9d94mibpjk-kzK2z%3DM_LoA0VA%40mail.gmail.com.
