Def Test.fixedNumeralTest2

Modification history

2023-03-07 23:14
test/toAdditive.lean
fix: to_additive issue with numerals in constant type family (#2419) …
Added Test.fixedNumeralTest2View on Github →