[ refactor ] rename `∣∣` to `∥`, `∤∤` to `∦` throughout `Algebra.Definitions.RawMagma` and `Algebra.Properties.*.Divisibility` by jamesmckinna · Pull Request #2562 · agda/agda-stdlib