Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-28 09:53
443c239d
View on Github →
feat(data/polynomial/ring_division):
mem_root_set_iff
(
#12963
)
Estimated changes
Modified
src/data/polynomial/ring_division.lean
added
theorem
polynomial.mem_root_set_iff'
added
theorem
polynomial.mem_root_set_iff