Documentation

Acmoi.Exercise1_4

theorem SW_15_induction (x : ) (k : ) (h0 : 0 x) (h1 : x 1) :
1 - k * x (1 - x) ^ k