kdrag.theories.seq.induct

kdrag.theories.seq.induct(T: SortRef, P) → Proof
Parameters:

T (SortRef)

Return type:

Proof