kdrag.theories.int.induct

kdrag.theories.int.induct(x)