Theorem Test.one_fooClass

Modification history

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