Thanks for reporting this!
Here's a fix: https://github.com/metamath/set.mm/pull/2696 - assuming
this is approved and merged it should be on the website a day or two
after it is merged.
On 7/19/22 07:43, Sophie wrote:
The Law of identity link in
https://us.metamath.org/mpeuni/mmset.html#theorems links to id1
<https://us.metamath.org/mpeuni/id1.html>, which says
> If you landed here, please let the originating site and/or us know
that the link that made you land here should be changed to a link to
idALT <https://us.metamath.org/mpeuni/idALT.html>. --
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/7b31d9a4-b47b-46ba-baa8-6166cae9c570n%40googlegroups.com
<https://groups.google.com/d/msgid/metamath/7b31d9a4-b47b-46ba-baa8-6166cae9c570n%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
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/0b4e6546-c5fe-bf8a-ff96-4dbe2b40934e%40panix.com.
