Commit 2024-04-06 16:24 b845312f
View on Github →chore(Data/Real/Sqrt): delete commented-out incomplete code (#11909)
Delete the currently-unused sqrtAux, which is a doomed attempt at a computable definition of Real.sqrt.
chore(Data/Real/Sqrt): delete commented-out incomplete code (#11909)
Delete the currently-unused sqrtAux, which is a doomed attempt at a computable definition of Real.sqrt.