Def thing

Modification history

2024-03-14 10:04

test/Simps.lean

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

Modified thing View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added thing View on Github →