Theorem Mathlib.Vector.replicate_succ_to_snoc

Modification history