Def Test.Ones

Modification history

2022-12-16 09:48
test/toAdditive.lean
perf: improve to_additive performance (#1060) …
Added Test.OnesView on Github →