Theorem Set.ncard_diff

Modification history