Theorem ZFSet.rank_empty

Modification history