Commit 2022-11-17 23:48 56284fa8

View on Github →

feat: make to_additive handle noncomputable properly (#625)

Estimated changes

added def Test.Foo.foo'