Theorem ZFSet.rank_pair

Modification history