Theorem ZFSet.Definable₂.mk_out

Modification history