Theorem Associates.le_of_count_ne_zero

Modification history