Square root on rational numbers #
This file defines the square root function on rational numbers rat.sqrt
and proves several theorems about it.
data.rat.sqrt
This file defines the square root function on rational numbers rat.sqrt
and proves several theorems about it.