Theorem Set.ncard_eq_toFinset_card'

Modification history