minpoly): remove a silly use of `tauto` (#19183)

Commit

2 years ago

chore(linear_algebra/eigenspace/minpoly): remove a silly use of `tauto` (#19183) `tauto` is not `refl`.

Author

eric-wieser

Parents