On January 1, 2025 11:46:50 AM PST, Glauco <[email protected]> wrote:
>
>
> This step will be less critical once
>the relabeling project is complete, but for now, it can significantly
>enhance Yamma's accuracy.
There has been some kind of renaming going on the whole time I've worked on
set.mm but I guess you are right that some of the recent ones have involved
some particularly widely used theorems.
This is not likely to end soon, see changes-set.txt in the set.mm repository
for a list of proposed renames (which includes some very widely used theorems
including syl)
--
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 visit
https://groups.google.com/d/msgid/metamath/0C5A6147-3750-4A18-8F55-680C0ED2275C%40panix.com.
