Hi, Il 28/10/19 22:18, Olivier Binda ha scritto: > Why doesn't fsumshft.5 have a ph -> part like other hypotheses ?
I had your same question a few months ago, and of course Mario had an answer for me: https://groups.google.com/d/msg/metamath/V6QPBWzqvu4/jmY9kwLWCgAJ Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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/b942df71-5090-4143-174e-620b811b736f%40gmail.com.
signature.asc
Description: OpenPGP digital signature
