Def Test.Foo.foo'

Modification history

2025-08-19 11:46
MathlibTest/toAdditive.lean
fix: handle `noncomputable section` in `to_additive` (#28610) …
Deleted Test.Foo.foo'View on Github →
2022-11-17 23:48
test/toAdditive.lean
feat: make to_additive handle noncomputable properly (#625)
Added Test.Foo.foo'View on Github →