On Wednesday, July 21, 2021 at 3:31:19 PM UTC+2 Norman Megill wrote: > Feel free to update the comment in your next PR. :) >
=> Done! > 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 [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/dd091954-37cb-4dbc-b2a8-76c44d48b567n%40googlegroups.com.
