> On Dec 28, 2021, at 4:11 PM, Brian Larson <[email protected]> wrote:
>
> I will look more closely at David's algebra helpers.
Enjoy. You won't find any cleverness or elegance in them.
Their purpose is to prove "obvious" things, generally from the outside in,
so you don't have to do them.
--- David A. Wheeler
--
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/E5BB092F-3464-4B61-BBF2-DD170628896E%40dwheeler.com.
