Theorem Equiv.Perm.next_toList_eq_apply

Modification history