Theorem ZFSet.isTransitive_empty

Modification history