-
Paolo G. Giarrusso authored
The parens are inconsistent with the other call to `iPoseProofCoreLem`, and this will break after switching to tactic3.
The parens are inconsistent with the other call to `iPoseProofCoreLem`, and this will break after switching to tactic3.