Theorem Equiv.Perm.ofSubtype_apply_mem_iff_mem

Modification history