Theorem Fin.insertNth_last

Modification history