Theorem Vector.continuous_removeNth

Modification history