Theorem Vector.mem_succ_iff

Modification history