Theorem List.support_formPerm_of_nodup'

Modification history