sqrd

proveit.numbers.sqrd(base)[source]

Special function for squaring root version of an exponential.