Theorem Algebra.intTrace_eq_of_isLocalization

Modification history