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.
