kdrag.tactics.simp

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

  • t (ExprRef)

  • by (list[Proof])

Return type:

Proof