Theorem Valuation.Integers.isUnit_of_one

Modification history