Add ∣m+n∣n⇒∣m to Data.Nat.Divisiblity#2989

Open

Taneb wants to merge 2 commits intomasterfrom

divisibility-add-the-other-way

Commits on Apr 28, 2026

Add ∣m+n∣n⇒∣m
Taneb
committed

Commits on Apr 29, 2026

fix typo in variable name

Taneb
and
gallais
authored