Def two:

Modification history

2023-06-12 01:02
test/left_right.lean
chore: formatting issues (#4947)
Deleted two:View on Github →
2022-05-03 10:16
test/left_right.lean
feat: `left` and `right` tactics (#260) …
Added two:View on Github →