logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Removed unnecessary parenthesee

Open aleksandrskoselevs opened this issue 2 years ago • 0 comments

aleksandrskoselevs avatar Nov 16 '22 17:11 aleksandrskoselevs