Theorem Localization.AtPrime.nilpotent_iff_not_unit_of_minimal

Modification history