Theorem Set.le_ncard_diff

Modification history