Theorem Vector.inductionOn_nil

Modification history