Theorem minpoly.eq_of_algebraMap_eq

Modification history