Theorem Test.Foo.Bar.baz''

Modification history

2026-05-17 17:16
MathlibTest/toAdditive.lean
feat(Tactic/ToFun): allow configuring the name of the generated declaration (#34257) …
Added Test.Foo.Bar.baz''View on Github →