Def Mathlib.Tactic.Translate.CastKind.mkProof

Modification history

2026-02-03 15:41
Mathlib/Tactic/Translate/TagUnfoldBoundary.lean
feat: unfold-boundaries in `to_dual` (#32438) …
Added Mathlib.Tactic.Translate.CastKind.mkProofView on Github →