Commit 2026-10-14 14:59 c3e6110b
View on Github →chore(Algebra/MvPolynomial/Division): change local notation %ᵐᵒⁿᵒᵐⁱᵃˡ → %ᵐ (#44744)
The old notation could not have possibly been more convenient to type than the function it was abbreviating.
chore(Algebra/MvPolynomial/Division): change local notation %ᵐᵒⁿᵒᵐⁱᵃˡ → %ᵐ (#44744)
The old notation could not have possibly been more convenient to type than the function it was abbreviating.