Def zero

Modification history

2024-05-02 13:42

test/rewrites.lean

chore: move to v4.8.0-rc1 (#12548) …

Deleted zero View on Github →

2023-11-02 13:03

test/left_right.lean

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

Deleted zero View on Github →

2023-08-29 00:54

test/rewrites.lean

chore: fix bug in rw? (#6088) …

Added zero View on Github →

2023-06-12 01:02

test/left_right.lean

chore: formatting issues (#4947)

Added zero View on Github →