Theorem Set.Finite_of_ncard_pos

Modification history