Theorem Int.coe_nat_ne_zero

Modification history