Theorem List.subperm_cons_erase

Modification history