Def Test.reorderMulThree

Modification history

2023-04-28 06:56
test/toAdditive.lean
perf: improve performance of `to_additive` (#3632) …
Added Test.reorderMulThreeView on Github →