Theorem Test.bar7_works

Modification history

2022-12-16 09:48

test/toAdditive.lean

perf: improve to_additive performance (#1060) …

Deleted Test.bar7_works View on Github →

2022-05-11 23:41

test/toAdditive.lean

feat: `to_additive` (#234) …

Added Test.bar7_works View on Github →