logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Fix typo: A is still declared, it is h that is not needed

Open dbp opened this issue 2 years ago • 0 comments

dbp avatar Apr 06 '22 13:04 dbp