Skip to content

[ refactor ] rename ∣∣ to , ∤∤ to throughout Algebra.Definitions.RawMagma and Algebra.Properties.*.Divisibility #991

[ refactor ] rename ∣∣ to , ∤∤ to throughout Algebra.Definitions.RawMagma and Algebra.Properties.*.Divisibility

[ refactor ] rename ∣∣ to , ∤∤ to throughout Algebra.Definitions.RawMagma and Algebra.Properties.*.Divisibility #991

Workflow file for this run

name: Check whitespace
on:
push:
branches:
- master
- experimental
pull_request:
branches:
- master
- experimental
merge_group:
jobs:
check-whitespace:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: andreasabel/fix-whitespace-action@v1