Theorem ZMod.Ico_map_valMinAbs_natAbs_eq_Ico_map_id

Modification history