Theorem Test.foo0b

Modification history

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