Theorem Valuation.Integers.isPrincipal_iff_exists_isGreatest

Modification history