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

Published 20 hours ago • verified publisher icon JetBrains

False negative: redundant parentheses is not shown on level arguments

Open knisht opened this issue 3 years ago • 0 comments 

\func a : 1 = 1 => idp \levels _ (0)

knisht avatar Dec 20 '21 17:12 knisht