kdrag.theories.seq.induct ========================= .. currentmodule:: kdrag.theories.seq .. autofunction:: induct