Theorem Ideal.coe_smul_primesOver_mk_eq_map_galRestrict

Modification history