Theorem ZFSet.Hereditarily.self

Modification history