Def g

Modification history

2024-08-27 00:43

test/linear_combination'.lean

chore: fork `linear_combination` to `linear_combination'` (#16166) …

Added g View on Github →

2023-03-16 17:38

test/congr.lean

feat: improvements to `congr!` and `convert` (#2606) …

Added g View on Github →

2023-02-07 22:26

test/linear_combination.lean

fix: use withMainContext in `linear_combination` (#2072) …

Added g View on Github →