Feel free to update the comment in your next PR. :) On Tuesday, July 20, 2021 at 5:09:39 PM UTC-4 Alexander van der Vekens wrote:
> I think the list of the most commonly referenced assertion in set.mm, > mentioned in the comment of ~syl, is not up-to-date anymore. Running show > usage * for the mentioned assertion yields: > > ~ syl: 13447 > ~ eqid: 9597 > ~ syl2anc: 7420 > ~ adantr: 8858 > ~ syl3anc: 5432 > ~ ax-mp: 4726 > > ~syl2anc and ~adantr changed places in the meantime. > > And ~adantl is used 6401 times, ~simpr 5828 -> that would be places 5 and > 6! > > On Monday, July 19, 2021 at 9:07:07 PM UTC+2 kylew...@gmail.com wrote: > >> Hello all, >> >> I was wondering if it is possible to create a list of the most frequently >> used assertions in set.mm using the commands of the Metamath program. I >> know that the description of syl has the next five most popularly >> referenced assertions, but I would like to extend this out to the next 100, >> or 1000 most referenced. >> >> Thanks in advanced, >> > -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/9297ac8c-aa98-479f-91cc-2d40b203b24an%40googlegroups.com.