Theorem Int.coe_nat_eq_zero

Modification history