Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-17 17:10 dc73d1bd

View on Github →

docs(data/*/sqrt): add one module docstring and expand the other (#7973)

Estimated changes

modified def int.sqrt