Theorem ZFSet.hereditarily_iff

Modification history