Theorem PSet.rank_powerset

Modification history