Commit 2023-10-27 16:31 8903aac3
View on Github →feat (Data/Polynomial/RingDivision): add lemmas for subtraction and negation (#7971) Adds two lemmas that show that negation and subtraction commute with polynomial division.
feat (Data/Polynomial/RingDivision): add lemmas for subtraction and negation (#7971) Adds two lemmas that show that negation and subtraction commute with polynomial division.