Theorem Set.Finite_of_ncard_ne_zero

Modification history