mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard
verified publisher icon leanprover-community

feat: Lemmas on Polynomial singleton quotient

Open BoltonBailey opened this issue 2 years ago • 0 comments

Adds modByMonic_eq_zero_iff_quotient_eq_zero and quotient_singleton_eq

Open in Gitpod

BoltonBailey avatar Mar 02 '24 20:03 BoltonBailey