Theorem ZFSet.rank_powerset

Modification history