Def baz

Modification history

2024-03-14 10:04

test/Simps.lean

chore: replace `λ` by `fun` (#11301) …

Modified baz View on Github →

2022-11-22 21:55

test/simp_trace.lean

chore: remove upstreamed tactics 11-21 (#684)

Deleted baz View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added baz View on Github →

2022-10-10 21:33

test/simp_trace.lean

feat: `simp?` and `squeeze_scope` tactics (#449) …

Added baz View on Github →