Theorem Finite.card_subtype_lt

Modification history