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