Redundant equals

Changes

1 changed files (+1/-1)

• Floor.lean
  • @@ -10,7 +10,7 @@ def check := Id.run do
    return false return true - example : check = true := by + example : check := by native_decide example {x y z : ℚ} (hx : 0 ≤ x) (hy : 0 ≤ y)