Theorem Int.coe_nat_succ_pos

Modification history