Theorem Mathlib.Vector.get_zero

Modification history