fix: quantify over α before ps in PostCond definitions#12708

sgraf812 merged 1 commit intomasterleanprover/lean4:masterfrom

sg/std-do-postcond-entails-orderleanprover/lean4:sg/std-do-postcond-entails-orderCopy head branch name to clipboard