Theorem Int.abs_coe_nat

Modification history