Theorem ZFSet.rank_range

Modification history