Theorem PSet.rank_pair

Modification history