Def mul'

Modification history

2025-07-02 12:44
MathlibTest/grind/cc.lean
chore: use `grind` instead of `cc` (#26194) …
Added mul'View on Github →
2024-05-21 12:14
test/cc.lean
feat: port `cc` tactic (3/3) (#5938) …
Added mul'View on Github →