num

proveit.numbers.num(x)[source]