kdrag.tactics.simp

kdrag.tactics.simp(t: ExprRef, by: list[Proof] = [], **kwargs) → Proof

Parameters:

• t (ExprRef)

• by (list[Proof])

Return type:

Proof