Theorem Test.zero_fooClass

Modification history

2022-11-24 02:16
test/toAdditive.lean
chore: to_additive adds instances (#678)
Added Test.zero_fooClassView on Github →