mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

a multiplicative version of the `abel` tactic

Open kim-em opened this issue 5 years ago • 2 comments

kim-em avatar May 18 '20 10:05 kim-em