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 [email protected] 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/48b66833-101c-45a5-8595-0a390ac5b9e9n%40googlegroups.com.
