Theorem Valuation.Integers.eq_algebraMap_or_inv_eq_algebraMap

Modification history