fix: correctly handle explicit monotonicity proofs in mutual definitions#8763

nomeata merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom

cppio:mutual_monotonicitycppio/lean4:mutual_monotonicityCopy head branch name to clipboard