On Friday, January 10, 2020 at 1:52:20 AM UTC+1, Mario Carneiro wrote: > > we should have guarded the application to avoid seeing it in the first > place. >
How would you do that ? (I gave some ideas some time ago on this group, but the drawbacks were deemed to outweigh the benefits.) Thanks, Benoît -- 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/e905a8c5-271d-4f28-b9fc-7ac39688e544%40googlegroups.com.
