Ah, that makes sense. Thank you. As long as every use of sqrt has such a conditi...

		munchler 30 days ago \| parent \| context \| favorite \| on: Some Junk Theorems in Lean Ah, that makes sense. Thank you. As long as every use of sqrt has such a condition.