Category talk:Definition Equivalences
Jump to navigation
Jump to search
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)
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
[[Category:Definition Equivalences|Cantor Set]]
. --barto (talk) 20:46, 4 August 2017 (EDT)
- Now that we have Template:TFAE, we can fix the sorting automatically, using key-value category assignment as in
- 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)
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)