Skip to content

[Merged by Bors] - feat(Rat): (q₁ + q₂).den ∣ q₁.den.lcm q₂.den #71894

[Merged by Bors] - feat(Rat): (q₁ + q₂).den ∣ q₁.den.lcm q₂.den

[Merged by Bors] - feat(Rat): (q₁ + q₂).den ∣ q₁.den.lcm q₂.den #71894

Annotations

1 warning

Check all files imported

succeeded Dec 11, 2024 in 34s