sqrt

proveit.numbers.sqrt(base)[source]

Special function for square root version of an exponential.