Theorem Mathlib.Vector.toList_ofFn

Modification history