Theorem ZFSet.rank_insert

Modification history