Theorem Mathlib.Vector.toList_injective

Modification history