Comment on Some Junk Theorems in LeanComments−teiferer8moTheorem 1. The third coordinate of the rational number 1/2 is a bijection.What is a coordinate in the context of a rational number? How many coordinates does it have?
Comments
What is a coordinate in the context of a rational number? How many coordinates does it have?