mathlib3
3605313c - feat(data/polynomial): a lemma relating `nth_roots 2` to `is_square` (#16990)

Commit

3 years ago

feat(data/polynomial): a lemma relating `nth_roots 2` to `is_square` (#16990)

Author

alexjbest

alexjbest

Parents

Loading