On Sunday, June 2, 2019 at 1:06:54 PM UTC+2, Giovanni Mascellani wrote: > > > Look for sbcan and those that immediately follow: > > http://us.metamath.org/mpeuni/mmtheorems33.html#sbcan > > Thank you! I couldn't find those by myself.
Is using those theorems the best way to do substitution? Seems like there can be a lot of steps for something you would normally do in a single step in an informal proof. -- 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/0c222aeb-a9dc-41c8-a287-388c241368e0%40googlegroups.com.
