Comment Comment by jk4930 In the same spirit, why 2 + 2 = 4.https://us.metamath.org/mpeuni/mmset.html#triviahttps://us.metamath.org/mpeuni/2p2e4.html parent jk4930 2 years ago
https://us.metamath.org/mpeuni/mmset.html#trivia
https://us.metamath.org/mpeuni/2p2e4.html