Theorem Mathlib.Vector.reverse_snoc

Modification history