intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

ChangeArgumentExplicitness should work for parameters with `\Pi` or `\Sigma` types

Open sxhya opened this issue 1 year ago • 0 comments

sxhya avatar Nov 06 '23 13:11 sxhya