Theorem exists_succ_iterate_iff_le

Modification history