Theorem PSet.rank_singleton

Modification history