Def ZFSet.IsTransitive

Modification history