Theorem eval₂_minpolyDiv_of_eval₂_eq_zero

Modification history