sqrt): Fix typo in described theorem (#14126)

Commit

3 years ago

doc(data/real/sqrt): Fix typo in described theorem (#14126) The previous statement was not true. e.g. sqrt 4 <= 3 does not imply 4 * 4 <= 3

Author

timotree3

Parents