Theorem ZFSet.rank_singleton

Modification history