Theorem ZFSet.isTransitive_iff_subset_powerset

Modification history