Theorem Test.foo0a

Modification history

2026-03-02 12:12
MathlibTest/toAdditive.lean
fix(Translate): remap ConstantInfo.all during declaration translation (#35875) …
Added Test.foo0aView on Github →