Commit 2025-07-07 17:19 9b2bbbfe

feat(Algebra): a / n ≤ a if n : ℕ and 0 ≤ a (#26658) Show that if n : ℕ and 0 ≤ a then a / n ≤ a, moreover a / n < a if 2 ≤ n. Also show that a / c = b / d if a / b = c / d, c ≠ 0 and d ≠ 0.