mathlib3
387db0d9 - feat(data/real/sqrt): add continuity attributes (#6388)

Commit
5 years ago
feat(data/real/sqrt): add continuity attributes (#6388) I add continuity attributes to `continuous_sqrt` and `continuous.sqrt`.
Parents
Loading