Given the natural number literal ex
, returns its square root as a natural number literal
and an equality proof. Panics if ex
isn't a natural number literal.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Evaluates the Nat.sqrt
function.
Equations
- One or more equations did not get rendered due to their size.