Theorem Int.existsUnique_equiv_nat

Modification history