Theorem Nat.mem_Ioc_succ

Modification history