Theorem ENat.lt_coe_add_one_iff

Modification history