Skip to content
Check whitespace

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

Sign in to view logs

[ 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

Annotations

1 warning

check-whitespace

check-whitespace
succeeded Jan 23, 2025 in 4s