Commit 2021-02-03 17:44 360fa07e
View on Github →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.
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.