Theorem Polynomial.count_map_roots_of_injective

Modification history