Theorem Finite.card_eq

Modification history