Theorem Set.ncard_pos

Modification history