Theorem List.countP_diff

Modification history