sqrt): added some missing sqrt lemmas (#5933)

Commit

5 years ago

feat(data/real/sqrt): added some missing sqrt lemmas (#5933) I noticed that some facts about `sqrt` and `abs` are missing, so I am adding them.

Author

benjamindavidson

Parents