Def createCalc

Modification history

2023-10-31 09:38

Mathlib/Tactic/Widget/Calc.lean

chore: bump toolchain to v4.3.0-rc1 (#8051) …

Modified createCalc View on Github →

2023-10-05 03:08

Mathlib/Tactic/Widget/Calc.lean

feat: Select and insert widgets (#7260) …

Added createCalc View on Github →