Def Mathlib.Tactic.UnfoldBoundary.UnfoldBoundaries.insert

Modification history

2026-02-03 15:41

Mathlib/Tactic/Translate/UnfoldBoundary.lean

feat: unfold-boundaries in `to_dual` (#32438) …

Added Mathlib.Tactic.UnfoldBoundary.UnfoldBoundaries.insert View on Github →