Theorem Fin.removeNth_removeNth_eq_swap

Modification history