Theorem count_le_of_ideal_ge

Modification history