Theorem Mathlib.Vector.reverse_get_zero

Modification history