Def double

Modification history

2025-12-02 12:55
MathlibTest/GRewrite.lean
feat(grw): support `grw (transparency := default)` (#32315) …
Added doubleView on Github →