Theorem Nat.count_eq_card_filter_range

Modification history