Def Mathlib.Meta.NormNum.Result.ofBoolResult

Modification history