Def another_term

Modification history

2024-03-14 10:04

test/Simps.lean

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

Modified another_term View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added another_term View on Github →