Theorem Fin.le_insertNth_iff

Modification history