paperproof icon indicating copy to clipboard operation
paperproof copied to clipboard
verified publisher icon Paper-Proof

lean - rwa tactic name

Open lakesare opened this issue 2 years ago • 1 comments

Tactic name we have: coe inv Tactic name expected: rwa [coe_inv]

image

lakesare avatar Dec 11 '23 03:12 lakesare

PSA - rwa is still displayed as a e.apply_symm_apply at the current version

image

lakesare avatar Jan 03 '24 20:01 lakesare