Metamath
English Wikipedia
4 thanks recorded by the source corpus.
View on Wikipedia: https://en.wikipedia.org/wiki/Metamath
How editors see this article
The editors whose trusted networks rank it highest, strongest advocate first. Every editor gets a different order.