Def zero:

Modification history

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