Update misformalizations found by Aleph Prover in Isabelle, Rocq #323
Description
These refer to the misformalizations identified and fixed in Lean as part of #322.
{{ message }}
These refer to the misformalizations identified and fixed in Lean as part of #322.