Theorem Mathlib.Vector.toList_reverse

Modification history