mathlib
57682ffa - feat(data/complex/is_R_or_C): add `polynomial.of_real_eval` (#13287)

Commit

3 years ago

feat(data/complex/is_R_or_C): add `polynomial.of_real_eval` (#13287)

Author

urkud

urkud

Parents

Loading