Theorem Mathlib.Vector.mem_succ_iff

Modification history