Theorem Finite.card_option

Modification history