Def Test.fixedNumeralTest

Modification history

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