Def foo.foo

Modification history

2024-03-29 04:50

test/Simps.lean

feat: `dupNamespace` as a syntax linter (#11154) …

Deleted foo.foo View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added foo.foo View on Github →