feat(data/real/sqrt): add continuity attributes (#6388)
feat(data/real/sqrt): add continuity attributes (#6388)

I add continuity attributes to `continuous_sqrt` and `continuous.sqrt`.





leanprover-community/mathlib,leanprover-community/mathlib