Theorem ZFSet.rank_lt_of_mem

Modification history