Def Mathlib.Tactic.LibraryRewrite.rpc

Modification history

2026-10-21 14:10

Mathlib/Tactic/Widget/LibraryRewrite.lean

chore: bump ProofWidgets to v0.0.118 (#45113) …

Modified Mathlib.Tactic.LibraryRewrite.rpc View on Github →

2026-02-06 13:36

Mathlib/Tactic/Widget/LibraryRewrite.lean

fix(rw??): make the `rpc` function public (#34474) …

Added Mathlib.Tactic.LibraryRewrite.rpc View on Github →