Theorem Set.sized_powersetCard

Modification history