fix: add OfNat instance for LeanOptionValue#11859

eric-wieser wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:patch-66eric-wieser/lean4:patch-66Copy head branch name to clipboard