Def Lean.toPreDefinition

Modification history

2025-04-03 05:22

Mathlib/Tactic/Core.lean

chore: bump toolchain to v4.19.0-rc2 (#23614)

Modified Lean.toPreDefinition View on Github →

2022-05-11 23:41

Mathlib/Tactic/Core.lean

feat: `to_additive` (#234) …

Added Lean.toPreDefinition View on Github →