Theorem Mathlib.Vector.toList_length

Modification history