Def two

Modification history

2023-11-02 13:03

test/left_right.lean

chore: bump Std to Std#254 (#8106)

Deleted two View on Github →

2023-06-12 01:02

test/left_right.lean

chore: formatting issues (#4947)

Added two View on Github →

2022-11-22 21:55

test/DocCommands.lean

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

Deleted two View on Github →

2022-10-24 03:11

test/DocCommands.lean

feat: port `copy_doc_string` command (#494)

Added two View on Github →