Theorem Finite.card_image_le

Modification history