Theorem ZFSet.Definable₂.out_equiv

Modification history