Theorem Fin.insertNth_mem_piFinset_insertNth

Modification history