Theorem Finite.card_range_le

Modification history