Theorem List.formPerm_nil

Modification history