Theorem Set.encard_pos

Modification history