Comment on Some Junk Theorems in LeanparentComments−SkiFire138moIt's more like "the bits of 7 are all equivalent", which is kinda obvious when you notice that they are `111`
Comments
It's more like "the bits of 7 are all equivalent", which is kinda obvious when you notice that they are `111`