Matteo Gätzner

Fix: ambiguity with newly introduced divisibility symbol

1

In newer lean versions, the divisibility symbol $\mid$ (`\mid`) is already defined, hence ```lean infix:50 " ∣ " => divides example (h₁ : divides x y) (h₂ : y =...