Theorem List.count_repeat_self

Modification history