Comment on Some Junk Theorems in LeanparentComments−munchler8moAh, that makes sense. Thank you. As long as every use of sqrt has such a condition.
Comments
Ah, that makes sense. Thank you. As long as every use of sqrt has such a condition.