Theorem List.count_attach

Modification history