mathlib3
443c239d - feat(data/polynomial/ring_division): `mem_root_set_iff` (#12963)

Commit

3 years ago

feat(data/polynomial/ring_division): `mem_root_set_iff` (#12963)

Author

vihdzp

vihdzp

Parents

Loading