fix: add OfNat instance for LeanOptionValue
#11859
+3
−0
Merged
Loading