Theorem Fin.dist_insertNth_insertNth

Modification history