Category talk:Definition Equivalences

It would be nice if there were a way to ignore "Equivalence of Definitions of" in the alphabetical sorting. --barto (talk) 04:46, 28 April 2017 (EDT)
 * If we change all page names to something like Definition Equivalences/Name of Concept we could. --prime mover (talk) 04:54, 28 April 2017 (EDT)
 * but I don't like that name, we need something different. --prime mover (talk) 04:54, 28 April 2017 (EDT)
 * Yes, agreed. Also, it's not logical to make all those pages a subpage of one master page. They have nothing to do with each other. I don't know how hard it is to manipulate to MediaWiki code that is behind this site, if possible at all. --barto (talk) 04:58, 28 April 2017 (EDT)

So what about ignoring "Equivalence of Definitions of" now that we can? --barto (talk) 19:04, 4 August 2017 (EDT)


 * How do you mean "now that we can"? --prime mover (talk) 19:26, 4 August 2017 (EDT)


 * Now that we have Template:TFAE, we can fix the sorting automatically, using key-value category assignment as in . --barto (talk) 20:46, 4 August 2017 (EDT)


 * Speficially, by changing  to   in the template. --barto (talk) 20:49, 4 August 2017 (EDT)


 * Brilliant. Done as suggested. I've made the change, just got to wait for the mediawiki software to catch up to see how it will pan out. --prime mover (talk) 05:36, 5 August 2017 (EDT)


 * Thanks. Works perfectly. All we have to do now is consistently use TFAE, or edit the sorting key manually otherwise. --barto (talk) 05:48, 5 August 2017 (EDT)

All those equivalence proofs which can conveniently have TFAE used on them directly have now been done. The others need some work to put them into the correct formal shape. --prime mover (talk) 18:01, 5 August 2017 (EDT)