Theorem Fin.removeNth_removeNth_heq_swap

Modification history