Theorem Equiv.Perm.toList_nthLe_zero

Modification history