Theorem List.subperm_cons

Modification history