Theorem Set.Finite.card_toFinset

Modification history