Theorem List.countP_erase

Modification history