Comment on Some Junk Theorems in LeanparentComments−meroes8moThank you. I was following along until that paragraph and got the opposite interpretation too.
Comments
Thank you. I was following along until that paragraph and got the opposite interpretation too.