Theorem Equiv.Perm.length_toList

Modification history